A lambda theory is a consistent set of equations between lambda terms closed under derivability
Name:
Anonymous2015-09-23 13:37
A number of problems can also be found in Henk Barendregt’s ha ndbook The Lambda Calculus. Its Syntax and Semantics (see [1]), whose importance for the students of the field can be understood recalling its usual nickname: ”The Bible of Lambda Calculus”
Name:
Anonymous2015-09-23 17:47
Everything I need to know about lambda theory I learned from JavaScript.