next up previous contents
Next: About this document ... Up: lcalconl Previous: Comments on the Y-Combinator   Contents
New book on A++ and the Lambda Calculus available!

Bibliography

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