The λ-calculus

• 18 June 2012
• book chapter
• Published by Cambridge University Press (CUP)
• p. 1-20
• https://doi.org/10.1017/cbo9780511809835.002

Abstract

Keywords

• FV
• CURRYING
• CONGRUENT
• CONSTANT
• PARENTHESES
• SUBSTITUTION
• REFLEXIVE RELATION
• SCOPE
• ABSTRACTION
• CONFLUENCE
• CHANGE
• CONTRACTION
• ATOM
• VARIABLES
• CHURCH ROSSER THEOREM
• APPLICATION
• TERM
• TRANSITIVE RELATION
• LOGIC
• SYMMETRIC RELATION