56:58Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions19.9K viewsView & Download
1:09:2713. SFI / Propositions as Types / Philip WadlerStudencki Festiwal Informatyczny306 viewsView & Download
38:10Stephen Pimentel - Propositions as Types for Beginners in Haskell - λC 2018LambdaConf2.3K viewsView & Download
1:26:36[DIA 2] CBSoft 2020 | SBLP - Palestra: Propositions as TypesSociedade Brasileira de Computação694 viewsView & Download
56:182. Propositions as Types (Martin-Löf)Applied Category Theory Seminar of CSU672 viewsView & Download
37:56ScalaSyd EP41 - 01. An introduction to Propositions as Types by Jed Wesley-Smith (Oct 2015)ScalaSyd154 viewsView & Download
5:54Identify the SUBORDINATES: the different subordinationsUn Cours de 5 Minutes1.1M viewsView & Download