Programming Language Theory Flashcard
In pure lambda calculus, what are the built-in constants and primitive operators?
Books
Concepts
Deckpure-lambda-calculus
Question
In pure lambda calculus, what are the built-in constants and primitive operators?
Answer
No operator.
Only lambda abstraction.