The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe

Journal of Symbolic Logic 49 (1):313-313 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2015-02-05

Downloads
38 (#433,096)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Recursive models for constructive set theories.M. Beeson - 1982 - Annals of Mathematical Logic 23 (2-3):127-178.
Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references