Skip to content
scrambled
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.