here you goThings I’ve made, read and saved — shared here.

Programming in Martin-Löf's Type Theory

BookNordström, Petersson, and Smith 1990Cite as [@nordstromProgrammingMartinLofType1990]

Nordström, Bengt, Kent Petersson, and Jan M Smith. 1990. Programming in Martin-Löf's Type Theory. Oxford University Press Oxford.

BibTeX
@book{nordstromProgrammingMartinLofType1990,
  title = {Programming in {{Martin-L\"of}}'s Type Theory},
  author = {Nordstr{\"o}m, Bengt and Petersson, Kent and Smith, Jan M},
  year = 1990,
  volume = {200},
  publisher = {Oxford University Press Oxford}
}

Download