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 Pocket (Opens in new window) Pocket 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