Intuitionistic type theory [Book Review]

Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):235-238 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

04954548

Other Versions

edition Banegas, Jesús Alcolea (1988) "Intuitionistic type theory". Theoria 4(1):235-238

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,060

External links

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

Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
Intuitionistic type theory vol. 1.Per Martin-Löf - 1984 - Bibliopolis.
Philosophical aspects of intuitionistic type theory.Per Martin-Löf - 1993
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.
Decidability in Intuitionistic Type Theory is Functionally Decidable.Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):300-304.
On the relationship between well-orderings in intuitionistic type theory and data types inductively defined.Edward Haeusler & Oliver Bittel - 1991 - O Que Nos Faz Pensar:61-79.
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.

Analytics

Added to PP
2012-03-18

Downloads
63 (#335,808)

6 months
5 (#1,035,390)

Historical graph of downloads
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