Bridging Curry and Church's typing style

, &
Journal of Applied Logic 18:42-70 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2016.05.008

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.
The logic of Church and Curry.Jonathan P. Seldin - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--819.
Mentalese syntax: Between a rock and two hard places. [REVIEW]Andrew Pessin - 1995 - Philosophical Studies 78 (1):33-53.
How to type: Reply to Halbach.Alexander Paseau - 2009 - Analysis 69 (2):280-286.
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
Faithful Imagination in the Academy: Explorations in Religious Belief and Scholarship.Janel M. Curry & Ronald Wells (eds.) - 2008 - Rowman & Littlefield.
Curry-Howard terms for linear logic.Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons - 1998 - Studia Logica 61 (2):223-235.
Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
‘Saviour Siblings’? The Distinction between PGD with HLA Tissue Typing and Preimplantation HLA Tissue Typing: Winner of the Max Charlesworth Prize Essay 2006.Crystal K. Liu - 2007 - Journal of Bioethical Inquiry 4 (1):65-70.
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
Ethical Questions Concerning the Use of Molecular Typing Techniques in the Control of Infectious Diseases.B. O. Rump & F. Woonink - 2012 - Public Health Ethics 5 (3):311-313.
First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknown
A New Proof of the Church-Rosser Theorem.H. B. Curry - 1956 - Journal of Symbolic Logic 21 (4):377-378.

Analytics

Added to PP
2016-06-30

Downloads
23 (#684,863)

6 months
8 (#367,748)

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

The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.

Add more references