conf.directory

Semantical vs Syntactic Type Theory

2 talks about Semantical vs Syntactic Type Theory

Semantical vs Syntactic Type Theory - Tech Conference Talks and Videos | conf.directory | conf.directory