Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19630091103
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,756
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Paratheory of Type Theory.Gerold Stahl - 1963 - Mathematical Logic Quarterly 9 (11):169-171.
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.
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.

Analytics

Added to PP index
2016-02-04

Total views
25 ( #392,864 of 2,333,919 )

Recent downloads (6 months)
2 ( #395,283 of 2,333,919 )

How can I increase my downloads?

Downloads

My notes