- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Realizability, set theory and term extraction
In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia. pp. 8--257 (1995)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2006 - Boston: Elsevier. Edited by Paweł Urzyczyn.
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.
On the roles of types in mathematics.N. G. de Bruijn - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia. pp. 27-54.
The Significance of the Curry-Howard Isomorphism.Richard Zach - 2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
Linear logic : A survey.J.-Y. Girard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
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.
Analytics
Added to PP
2009-01-28
Downloads
16 (#1,195,422)
6 months
16 (#190,991)
2009-01-28
Downloads
16 (#1,195,422)
6 months
16 (#190,991)
Historical graph of downloads
Author's Profile
Citations of this work
Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-ls7fw uwo