Skip to content
scrambled
Programming Language Theory Flashcard

What are lambda terms and lambda abstractions?

Books Concepts Deckpure-lambda-calculus

Question

What are lambda terms and lambda abstractions?

Answer

Lambda terms are any syntactic constructs in Lambda calculus.

Lambda abstractions are lambda terms of the form λx. term.