Journal of Applied Logic 18:42-70 (2016)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.jal.2016.05.008 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Comparing Cubes of Typed and Type Assignment Systems.Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca & Pawel Urzyczyn - 1997 - Annals of Pure and Applied Logic 86 (3):267-303.
Citations of this work BETA
No citations found.
Similar books and articles
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
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.
To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - 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.
‘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.
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 index
2016-06-30
Total views
14 ( #732,010 of 2,506,520 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,520 )
2016-06-30
Total views
14 ( #732,010 of 2,506,520 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,520 )
How can I increase my downloads?
Downloads
