Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons," Cambridge University Press, 2000
References
[1]
H. B. Curry. Functionality in Combinatory Logic, Proceedings of the National Academy of the U.S.A., 20 (1934), 584--590.
[2]
H. B. Curry and R. Feys. Combinatory Logic, Vol. 1, North Holland, 1958; 2nd ed., 1968.
[3]
W. A. Howard. The formulae-as-types notion of construction, in To H. B. Curry, ed. J. R. Hindley and J. P. Seldin, Academic Press, UK 1980, pp. 479--490.
[4]
J-Y. Girard, Y. Lafont and P. Taylor. Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Volume 7, Cambridge U. Press, 1989.
[5]
M. H. Sorensen and P. Urzyczyn. Lectures on the Curry-Howard isomorphism. Technical Report 98/14, DIKU, Copenhagen, 1998.
[6]
B. C. Peirce. Types and Programming Languages, MIT Press, 2002.
[7]
J. Roger Hindley. Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science, Volume 42, Cambridge U. Press, 1997.
[8]
A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory, 2nd ed., Cambridge Tracts in Theoretical Computer Science, Volume 43, Cambridge U. Press, 2000.
[9]
K. Gödel. Über eine bisher noch nicht unbenützte Erweiterung des finiten Standpunktes, Dialectica 12:280--287, 1958.
[10]
R. Péter. Recursive Functions. Academic Press, 1967.
[11]
H. E. Rose. Sub-Recursion: Functions and Heirarchies, Oxford Logic Guides, Oxford U. Press, 1984.
[12]
H. Schwichtenberg. Definierbare Funktionen im λ-Kalkül mit Typen, Archiv für Mathematische Logik und Grundlagenforschung, 17:113--114, 1975.
Index Terms
- Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons," Cambridge University Press, 2000
Recommendations
Howard Aiken interview: February 26-27, 1973
Computer Oral History CollectionHoward Hathaway Aiken was born in 1900. He earned an undergraduate degree in electrical engineering from the University of Wisconsin in 1923, a Masters in Physics from Harvard in 1937, and his Ph.d in Physics from Harvard in 1939. He was the designer ...
Aiken, Howard
Encyclopedia of Computer ScienceHoward Hathaway Aiken (Fig. 1) was born 8 March 1900, in Hoboken, NJ, and died 14 March 1973, in St Louis, MO. He grew up in Indianapolis, where he attended Arsenal Technical High School while working 12 hours a night at the Indianapolis Light and Heat ...
Comments
Information & Contributors
Information
Published In
Copyright © 2008 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 June 2008
Published in SIGACT Volume 39, Issue 2
Check for updates
Qualifiers
- Review-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 126Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in