Literaturverzeichnis

Printmedien

The Mathematics of Functional Programming II: Lambda Calculus: "Programming Languages, Principles and Practice", Second edition
Kenneth C. Louden
Brooks/Cole-Thomson Learning

Wikipedia: Lambda calculus: http://en.wikipedia.org/wiki/Lambda_calculus
An Introduction to Lambda Calculus and Scheme: http://www.jetcafe.org/~jim/lambda.html
Jim Larson, 1996
Lambda Calculus Introduction: http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/
L. Allison, 1996
Lambda tutorial: http://ling.ucsd.edu/~barker/Lambda/
Chris Barker
Wikipedia: Peono axioms: http://en.wikipedia.org/wiki/Peano_axioms
Wikipedia: Turing machines: http://en.wikipedia.org/wiki/Turing_machines
Wikipedia: Formal system: http://en.wikipedia.org/wiki/Formal_system
Wikipedia: Computable function: http://en.wikipedia.org/wiki/Computable_function
Wikipedia: Church-Turing thesis: http://en.wikipedia.org/wiki/Church-Turing_thesis