Pages that link to "Church encoding"
From HandWiki
The following pages link to Church encoding:
Displaying 16 items.
- Gödel numbering (← links)
- Lambda calculus (← links)
- OCaml (← links)
- Unary numeral system (← links)
- Fixed-point combinator (← links)
- Eager evaluation (← links)
- Cons (← links)
- Simply typed lambda calculus (← links)
- Parametricity (← links)
- Type theory (← links)
- Calculus of constructions (← links)
- System F (← links)
- Visitor pattern (← links)
- Combinatory logic (← links)
- Deductive lambda calculus (← links)
- 1 (← links)
