Programming Language Theory Flashcard
Which symbol is used to denote enriched lambda calculus with numbers and booleans?
Books
Concepts
Deckpure-lambda-calculus
Question
Which symbol is used to denote enriched lambda calculus with numbers and booleans?
Answer
.