Notes on Type Theory for beginners

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

"Categories for the Working Hacker" by Philip Wadler

Per Martin Löf: How did 'judgement' come to be a term of logic ?

HoTT-2019-04-16 Type theory

Category Theory for the Working Hacker by Philip Wadler

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

"A Little Taste of Dependent Types" by David Christiansen

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

3 01 A Functional Programmer's Guide to Homotopy Type Theory

What I learned from analyzing 750 billion GitHub events and 42 TB of code

"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman

Why algebraic data types are important - Bartosz Milewski - code::dive 2018

A Taste of Type Theory • Bartosz Milewski • YOW! 2019

Что такое...теория гомотопических типов?

Philip Wadler - Propositions as Types (Lambda Days 2016)

What are dependent types? aka the Calculus of Construction (as a type wizard)

Everything You Need to Know About Running LLMs Locally by Cedric Clyburn

Подробно о HTTP: как работает Интернет

Introductory Lectures on Type Theory (1 : Functions)

"Dependent Types in Haskell" by Stephanie Weirich