Pages that link to "Church encoding"
Jump to navigation
Jump to search
The following pages link to Church encoding:
Displaying 13 items.
- Lambda calculus (← links)
- Type theory (← links)
- Combinatory logic (← links)
- Fixed-point combinator (← links)
- Gödel numbering (← links)
- Calculus of constructions (← links)
- System F (← links)
- Simply typed lambda calculus (← links)
- Parametricity (← links)
- Mogensen–Scott encoding (← links)
- List of numeral systems (← links)
- 1 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2023 October 18 (← links)