15:56Computer Science ∩ Mathematics (Type Theory) - ComputerphileComputerphile276.7K viewsView & Download
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions19.9K viewsView & Download
1:20:07Stanford Seminar Propositions as Types - The Best Documentary EverAlfonso Cartwright75 viewsView & Download
56:182. Propositions as Types (Martin-Löf)Applied Category Theory Seminar of CSU672 viewsView & Download
13:26Essentials: Functional Programming's Y Combinator - ComputerphileComputerphile346.2K viewsView & Download