A Paratheory of Type Theory

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (11):169-171 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19630091103

Links

PhilArchive



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

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

A Paratheory of Type Theory.Gerold Stahl - 1963 - Mathematical Logic Quarterly 9 (11):169-171.
An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.
Type Theory with Records and Unification-based Grammar.Robin Cooper - unknown
Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
Higher type categories.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):251-254.
A transfinite type theory with type variables.P. B. Andrews - 1965 - Amsterdam,: North-Holland Pub. Co..
On Bishops and Donkeys.Nicky Kroll - 2008 - Natural Language Semantics 16 (4):359-372.
The Art Type Theory of Art.Robert S. Fudge - 2015 - Philosophical Papers 44 (3):321-343.
What is the type-1/type-2 distinction?Nick Chater - 1997 - Behavioral and Brain Sciences 20 (1):68-69.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Saying 'I do' to identity.Richard Brown - manuscript
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown

Analytics

Added to PP
2016-02-04

Downloads
26 (#595,031)

6 months
1 (#1,510,037)

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