Per MARTIN-LÖF: Intuitionistic type theorv

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2) (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Intuitionistic Version of Cantor's Theorem.Dario Maguolo & Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):446-448.
Intuitionistic type theory.Jesús Alcolea Banegas - 1988 - Theoria 4 (1):235-238.
Decidability in Intuitionistic Type Theory is Functionally Decidable.Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):300-304.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
A general formulation of simultaneous inductive-recursive definitions in type theory.Peter Dybjer - 2000 - Journal of Symbolic Logic 65 (2):525-549.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe.Peter Aczel - 1984 - Journal of Symbolic Logic 49 (1):313-313.
Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-313.
Intersection Type Systems and Logics Related to the Meyer–Routley System B+.Martin Bunder - 2003 - Australasian Journal of Logic 1:43-55.
On the adequacy of representing higher order intuitionistic logic as a pure type system.Hans Tonino & Ken-Etsu Fujita - 1992 - Annals of Pure and Applied Logic 57 (3):251-276.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
The logic of first order intuitionistic type theory with weak sigma- elimination.M. D. G. Swaen - 1991 - Journal of Symbolic Logic 56 (2):467-483.
Are There Enough Injective Sets?Peter Aczel, Benno Berg, Johan Granström & Peter Schuster - 2013 - Studia Logica 101 (3):467-482.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references