Richard Zach

Coquand on Type Theory

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

Posted

in

by

Richard Zach

Tags:

Comments

Leave a Reply

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