Programming Language Theory Flashcard
What is church numerals?
Books
Concepts
Deckpure-lambda-calculus
Question
What is church numerals?
Answer
Church numerals is an encoding of natural numbers in Pure/Untyped lambda calculus.
Question
What is church numerals?
Answer
Church numerals is an encoding of natural numbers in Pure/Untyped lambda calculus.