Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

The Curry-Howard isomorphism

Louvain-la-Neuve: Academia (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.C87 1995

ISBN(s)

287209363X

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Basic theory of functionality. Analogies with propositional algebra.H. B. Curry &R. Feys
Linear logic : A survey.J.-Y. Girard
On the correspondence between proofs and lamba-terms.J. Gallier
The formulæ-as-types notion of construction.W. A. Howard
Realizability, set theory and term extraction.  (pages 8--257)J. Lipton
On the roles of types in mathematics.  (pages 27-54)N. G. de Bruijn

Similar books and articles

Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen -2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
The Significance of the Curry-Howard Isomorphism.Richard Zach -2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter,Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
The Significance of the Curry-Howard Isomorphism.Richard Zach -2018 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter,Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 313-326.
How far to extend the Curry-Howard isomorphism?Enrico Monconi -2001 - In V. Fano, M. Stanzione & G. Tarozzi,Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino. pp. 57.
Realizability, set theory and term extraction.J. Lipton -1995 - In Philippe De Groote,The Curry-Howard isomorphism. Louvain-la-Neuve: Academia. pp. 8--257.
Basic theory of functionality. Analogies with propositional algebra.H. B. Curry &R. Feys -1995 - In Philippe De Groote,The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
On the roles of types in mathematics.N. G. de Bruijn -1995 - In Philippe De Groote,The Curry-Howard isomorphism. Louvain-la-Neuve: Academia. pp. 27-54.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca &Luca Roversi -1997 -Studia Logica 59 (3):417-448.
Linear logic : A survey.J.-Y. Girard -1995 - In Philippe De Groote,The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.

Analytics

Added to PP
2009-01-28

Downloads
25 (#971,507)

6 months
1 (#1,606,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-Theoretic Semantics.Peter Schroeder-Heister -2024 -Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references

Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-54b44b69b7-g6h22 uwo
[8]ページ先頭
©2009-2025 Movatter.jp