Propositions as Types - Computerphile
42:43
"Propositions as Types" by Philip Wadler
23:40
The Hardest Problem in Type Theory - Computerphile
20:00
Essentials: Pointer Power! - Computerphile
21:50
Monad nedir? - Computerphile
29:57
Diziler ve Bağlantılı Listeler - Computerphile
6:50
Russian Multiplication - Numberphile
20:56
Category Theory 8.2: Type algebra, Curry-Howard-Lambek isomorphism
16:20