conf.directory
Conferences
Watch Later
History
Toggle theme
Toggle theme
Toggle menu
Conferences
Watch Later
History
Semantical vs Syntactic Type Theory
2 talks about Semantical vs Syntactic Type Theory
Latest
All Levels
29:06
Intermediate
RailsConf 2024 - What's in a Name: From Variables to Domain-Driven Design by Karynn Ikeda
Karynn Ikeda
Confreaks
0 views
July 15
2024
Watch Now
52:24
Advanced
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
Jon Sterling
Confreaks
11,246 views
January 4
2016
Watch Now
Semantical vs Syntactic Type Theory - Tech Conference Talks and Videos | conf.directory | conf.directory