Literatur

Lambda-Kalkül

- 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.