Site Navigation
Categories:
Lambda calculus

Summary Of: Church numeral

Encyclodia Page On: Church numeral

These Are Links To Other Documents
mathematics | lambda calculus | Alonzo Church | higher-order functions | Church-Turing thesis | Gödel numbering | lambda abstractions | natural numbers | higher-order function | composition | lambda calculus | =β | β-equivalent | =β | =β | =β | Haskell | Smalltalk | Pico | lambda calculus | logical values | Cons | pair | lambda calculus | immutable | lists | tagged union | right fold function | Lambda calculus | System F | Mogensen-Scott encoding | Pierce, Benjamin C. | Types and Programming Languages | MIT Press | ISBN | 978-0262162098 | Categories | Lambda calculus |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Church numeral".