Next: About this document ...
Up: lcalconl
Previous: Comments on the Y-Combinator
Contents
New book on A++ and the Lambda Calculus available!
- Bar81
-
H. Barendregt.
The Lambda Calculus - Its Syntax and Semantics.
North-Hollnad, Amsterdam, 1981.
- CF58
-
Howard B. Curry and R. Feys.
Combinatory Logic, volume 1.
North-Holland, Amsterdam, 1958.
- Cha96
-
Jacques Chazarain.
Programmer avec Scheme - De la pratique à la théorie.
International Thomson Publishing France, Paris, 1996.
ISBN 2 84180 130 4.
- Chu41
-
Alonzo Church.
The Calculi of Lambda Conversion.
Princeton University Press, Princeton, New Jersey, 1941.
- Jon87
-
Simon L. Peyton Jones.
The Implementation of Functional Programming Languages.
Prentice Hall International, Hertfordshire,HP2 7EZ, 1987.
ISBN 0 13 453325 9.
- Kam90
-
Samuel N. Kamin.
Programming Languages - An Interpreter-Based Approach.
Addison-Wesley Publishing Company, Reading, Massachusetts, 1990.
ISBN 0 201 06824 9.
- Sto81
-
J.E. Stoy.
Denotational Semantics.
MIT Press, Cambridge, Massachusetts, 1981.
Georg Loczewski
2003-08-07