Propositions as Types - Computerphile
Vídeos relacionados
23:40
The Hardest Problem in Type Theory - Computerphile
43:55
Lean4 and the Curry-Howard Isomorphism (Luis Wirth)
21:50
What is a Monad? - Computerphile
12:26
Proofs are Programs
15:22
Type theory and the algebra of types
15:31
The Reciprocals of Primes - Numberphile
19:24
Type Theory for the Working Rustacean - Dan Pittman
27:48
AI & Logical Induction - Computerphile
12:33
Why Information Theory is Important - Computerphile
45:33
The Curry-Howard Correspondence
15:54
Multithreading Code - Computerphile
19:05