128,496 views
2 years ago
423,920 views
2 months ago
4 views
2 hours ago
2,434,255 views
10 years ago
Show more
97,128 views
2,325
0
Computerphile
2.39M subscribers
Tags
computers
computerphile
computer
science
Professor Thorsten Altenkirch
University of Nottingham
Mathematics
Type Theory
Computer Science
Propositions as Types
Proposition
Proof
197 Comments