Literatur
Ausgewählte Kapitel der Theoretischen Informatik
- Literatur -
Henk Barendregt. The Lambda Calculus. Its Syntax and Semantics. North-Holland Publishing
Company 1981.
Company 1981.
Jean-Yves Girard, Yves Lafont, Paul Taylor. Proofs and Types. Cambridge Tracts in
Theoretical Computer Science 7. Cambridge University Press.
Theoretical Computer Science 7. Cambridge University Press.
Greg Michaelson. An Introduction to Functional Programming through Lambda Calculus.
Addison-Wesley 1989.
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.
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.
Tracts in Theoretical Computer Science 4. Cambridge University Press 1988.
Weitere Literaturangaben folgen in der Vorlesung.
