discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lambda the Ultimate
Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
http://www.cllc.vuw.ac.nz/talk-papers/whatisit.ps
36 comments
27/10/2005
Type Theory