Coquand on Type Theory

Via OPP: Thierry Coquand‘s entry on Type Theory in the Stanford Encyclopedia went online a few days ago.

Leave a Reply

Your email address will not be published. Required fields are marked *