Programming Language Theory Flashcard
What are closed terms, free variables, bound variables, binders in lambda calculus?
Books
Deckpure-lambda-calculus
Question
What are closed terms, free variables, bound variables, binders in lambda calculus?
Answer
Closed term: A term with no free variables.
Free variable: A variable that is not bound.
Bound variable: A variable bound by a binder.
Binder: The in .