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:Click to share on Mastodon (Opens in new window)Click to share on Facebook (Opens in new window)Click to share on Reddit (Opens in new window)Click to share on Pocket (Opens in new window)Click to share on Twitter (Opens in new window)Click to email a link to a friend (Opens in new window)Click to print (Opens in new window)