Programming Language Theory Flashcard
Which terms are deemed values in untyped lambda calculus?
Books
Concepts
Deckpure-lambda-calculus
Question
Which terms are deemed values in untyped lambda calculus?
Answer
Lambda abstractions/Functions are the only values.