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 .