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

An Intuitionistic Theory of Types

Preprints and otherMartin-Löf 1998Cite as [@martin-lofIntuitionisticTheoryTypes1998]

Martin-Löf, Per. 1998. “An Intuitionistic Theory of Types.” Citeseer.

BibTeX
@misc{martin-lofIntuitionisticTheoryTypes1998,
  title = {An Intuitionistic Theory of Types},
  author = {{Martin-L{\"o}f}, Per},
  year = 1998,
  publisher = {Citeseer}
}

Download