Internal type theory

http://www.cse.chalmers.se/~coquand/int.html

https://pdfs.semanticscholar.org/eb9b/b4767cd3c226b7cb96b434980a0d6ed644b6.pdf

Advertisements
This entry was posted in Type theory. Bookmark the permalink.