Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? - discu.eu

Lambda the Ultimate

Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? http://www.cllc.vuw.ac.nz/talk-papers/whatisit.ps 36 comments 27/10/2005 Type Theory

Linking pages

GitHub - prathyvsh/morphisms-of-computational-structures: A visual catalogue + story of morphisms displayed across computational structures. https://github.com/prathyvsh/morphisms-of-computational-structures 1 comment

Related searches:

Search whole site: site:www.cllc.vuw.ac.nz

Search title: Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?

See how to search.

Submit link to: