Logic . Philosophy . Other Fun Stuff
University of Calgary
Site Navigation
Site Feed
Search
Navigation
Coquand on Type Theory
Submitted by Richard Zach on February 12, 2006 - 10:50pm.
Via OPP: Thierry Coquand's entry on Type Theory in the Stanford Encyclopedia went online a few days ago.