N ncatlab.org Relation Between Type Theory, Category Theory and Logic 177 points rndn 11 years ago 70 comments
