Lambda-Calculus, Combinators, and Functional Programming
Cambridge University Press (1988)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Lambda calculus Combinatory logic Functional programming languages | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $40.80 direct from Amazon (6% off) $472.84 new Amazon page | |||||||||
| Call number | QA9.5.R48 1988 | |||||||||
| ISBN(s) | 0521345898 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesSimona Ronchi della Rocca & Luca Roversi (1997). Lambda Calculus and Intuitionistic Linear Logic. Studia Logica 59 (3):417-448.
Sabine Broda & Luís Damas (1997). Compact Bracket Abstraction in Combinatory Logic. Journal of Symbolic Logic 62 (3):729-740.
Roberto M. Amadio (1998). Domains and Lambda-Calculi. Cambridge University Press.
C. Böhm (ed.) (1975). [Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975. Springer-Verlag.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
Henk Barendregt (1997). The Impact of the Lambda Calculus in Logic and Computer Science. Bulletin of Symbolic Logic 3 (2):181-215.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
