Programming Language Theory Flashcard
What does it mean by "everything is a function" in lambda calculus?
Books
Concepts
Deckpure-lambda-calculus
Question
What does it mean by "everything is a function" in lambda calculus?
Answer
Every closed terms in Lambda calculus are functions.