conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Intuitionistic Type Theory
1 talks about Intuitionistic Type Theory
52:24
Advanced
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
Jon Sterling
Confreaks
11,246 views
January 4
2016
Watch Now
