The Hardest Problem in Type Theory - Computerphile
17:46
Propositions as Types - Computerphile
12:23
Le plus grand défaut de l'IA générative - Computerphile
18:29
Defining Regular Expressions (RegEx) - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
25:05
Ranking Paradoxes, From Least to Most Paradoxical
21:01
Blanche Gardin a Osé Critiquer Israël dans un Sketch !
13:57
Types of PDF - Computerphile
12:05