Turing A. M.. Practical forms of type theory

Journal of Symbolic Logic 14 (1):67-68 (1949)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269006

Links

PhilArchive



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

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

Turing A. M.. Practical forms of type theory.Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
Review: A. M. Turing, Practical Forms of Type Theory. [REVIEW]Maurice L'Abbé - 1949 - Journal of Symbolic Logic 14 (3):182-182.
Practical forms of type theory.A. M. Turing - 1948 - Journal of Symbolic Logic 13 (2):80-94.
A combinatory account of internal structure.Barry Jay & Thomas Given-Wilson - 2011 - Journal of Symbolic Logic 76 (3):807 - 826.
On Turing's Turing test and why the matter matters.Justin Leiber - 1995 - Synthese 104 (1):59-69.
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.
Turing's golden: How well Turing's work stands today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
Turing cones and set theory of the reals.Benedikt Löwe - 2001 - Archive for Mathematical Logic 40 (8):651-664.
Embeddings in the Strong Reducibilities Between 1 and npm.Phil Watson - 1997 - Mathematical Logic Quarterly 43 (4):559-568.
Turing's World 3.0 for Mac: An Introduction to Computability Theory.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
Turing test: 50 years later.Ayse Pinar Saygin, Ilyas Cicekli & Varol Akman - 2000 - Minds and Machines 10 (4):463-518.
The Turing test.B. Jack Copeland - 2000 - Minds and Machines 10 (4):519-539.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
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
2016-06-30

Downloads
19 (#750,145)

6 months
8 (#283,518)

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