On the reduction of type theory

Mathematical Logic Quarterly 29 (4):235-237 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19830290409

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
A Paratheory of Type Theory.Gerold Stahl - 1963 - Mathematical Logic Quarterly 9 (11):169-171.
Comparing type theory and set theory.John Lake - 1975 - Mathematical Logic Quarterly 21 (1):355-356.
The ambiguous type theory is hereditarily undecidable.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):299-300.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Mathematical Logic Quarterly 20 (25‐27):411-418.
Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8-10):141-162.
Some connections between boolean valued analysis and topological reduction theory for C*‐algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
Abstract Data Types and Type Theory: Theories as Types.Ruy J. B. de Queiroz - 1991 - Mathematical Logic Quarterly 37 (9-12):149-166.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23-24):355-372.

Analytics

Added to PP
2014-01-16

Downloads
41 (#582,892)

6 months
5 (#752,882)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
Nfsi is not included in nf3.Marcel Crabbé - 2016 - Journal of Symbolic Logic 81 (3):948-950.

Add more citations

References found in this work

No references found.

Add more references