Derivation and Computation. Taking the Curry-Howard Correspondence Seriously

Bulletin of Symbolic Logic 7 (3):380-383 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687758

Links

PhilArchive



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

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

Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp. [REVIEW]Norman Danner - 2001 - Bulletin of Symbolic Logic 7 (3):380-383.
Derivation and computation: taking the Curry-Howard correspondence seriously.Harold Simmons - 2000 - New York: Cambridge University Press.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
On the correspondence between proofs and lamba-terms.J. Gallier - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
On the Formulae-as-types Correspondence for Classical Logic.Charles Alexander Stewart - 2000
The completeness of Heyting first-order logic.W. W. Tait - 2003 - Journal of Symbolic Logic 68 (3):751-763.
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.
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
The Curry-Howard isomorphism.Philippe De Groote (ed.) - 1995 - Louvain-la-Neuve: Academia.
Basic theory of functionality. Analogies with propositional algebra.H. B. Curry & R. Feys - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
Extended Curry‐Howard terms for second‐order logic.Pimpen Vejjajiva - 2013 - Mathematical Logic Quarterly 59 (4-5):274-285.
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.

Analytics

Added to PP
2017-02-22

Downloads
9 (#1,261,065)

6 months
6 (#531,961)

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