[Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975
C. Böhm (ed.)
Springer-Verlag (1975)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Combinatory logic Congresses Programming languages (Electronic computers Congresses | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $24.00 used Amazon page | |||||||||
| Call number | QA9.5.L35 | |||||||||
| ISBN(s) | 0387074163 | |||||||||
| 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 articlesP. B. Medawar & Julian H. Shelley (eds.) (1980). Structure in Science and Art: Proceedings of the Third C. H. Boehringer Sohn Symposium Held at Kronberg, Taunus, 2nd-5th May 1979. [REVIEW] Sole Distributors for the Usa and Canada, Elsevier North-Holland.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
Henk Barendregt (1997). The Impact of the Lambda Calculus in Logic and Computer Science. Bulletin of Symbolic Logic 3 (2):181-215.
B. J. Mason, Peter Mathias & J. H. Westcott (eds.) (1986). Predictability in Science and Society: A Joint Symposium of the Royal Society and the British Academy Held on 20 and 21 March 1986. [REVIEW] Distributed by Scholium International.
Tord H. Ganelius (ed.) (1986). Progress in Science and its Social Conditions: Nobel Symposium 58, Held at Lidingö, Sweden, 15-19 August 1983. Published for the Nobel Foundation by Pergamon Press.
György E. Révész (1988). Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press.
Roberto M. Amadio (1998). Domains and Lambda-Calculi. Cambridge University Press.
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
