The top documents tagged [type theory]
Category Theory for All (NASSLLI 2012)
2.309 views
A Penny for Your Thoughts
152 views
POPL 2012 Presentation
4.647 views
Peanomoeder
36 views
Systems of Set Theory
37 views
Personality.ppt
217 views
IWCS 2015 Proceedings
7 views