Literatur

Ausgewählte Kapitel der Theoretischen Informatik

- Literatur -

Henk Barendregt. The Lambda Calculus. Its Syntax and Semantics. North-Holland Publishing
     Company 1981.
Jean-Yves Girard, Yves Lafont, Paul Taylor. Proofs and Types. Cambridge Tracts in
     Theoretical Computer Science 7. Cambridge University Press.
Greg Michaelson. An Introduction to Functional Programming through Lambda Calculus.
     Addison-Wesley 1989.
John C. Mitchell. Foundations for Programming Languages. MIT Press 1996.
Wolfram Pohlers. Mathematische Grundlagen der Informatik. Handbuch der Informatik Band
     1.5. Oldenbourg Verlag 1993.
György Revesz. Lambda-Calculus, Combinators, and Functional Programming. Cambridge
     Tracts in Theoretical Computer Science 4. Cambridge University Press 1988.


Weitere Literaturangaben folgen in der Vorlesung.