Programming Language Theory Flashcard
What does it mean to say church numerals represent ordinary numbers?
Books
Concepts
Deckpure-lambda-calculus
Question
What does it mean to say church numerals represent ordinary numbers?
Answer
Any programs written using numbers, assuming they are truly ordinary numbers, can have their numbers and associated operations substituted with Church numerals and their corresponding operations, without any changes in the observable behavior. -> Behavioral/Observational/Contextual equivalence.