A Lambda calculus interpreter on Python

I want to write my own Compiler/Interpreter/JIT (all three of them) this is a start step to learn about eager and lazy evaluation , scope of variables, type theory and others.

To details about implementation (not doc) see my blog.

This interpreter is a unstable work in progress.

Reference books :

• Simon Thompson. Type theory & functional programming, 1999.
• H.P. Barendregt. The Lambda Calculus , Volume 103 1984

Reference pages:

• Wikpedia Lambda calculus
• This question about reduction