2006-02-12 rzach Coquand on Type Theory Via OPP: Thierry Coquand‘s entry on Type Theory in the Stanford Encyclopedia went online a few days ago. Share this: Share on Mastodon (Opens in new window) Mastodon Share on Facebook (Opens in new window) Facebook Share on Reddit (Opens in new window) Reddit Share on X (Opens in new window) X Email a link to a friend (Opens in new window) Email Print (Opens in new window) Print