Pages that link to "Inductive type"
Jump to navigation
Jump to search
The following pages link to Inductive type:
Displaying 9 items.
- List (abstract data type) (← links)
- Calculus of constructions (← links)
- Recursive data type (← links)
- Infinity-Borel set (← links)
- Agda (programming language) (← links)
- Constructive set theory (← links)
- Polynomial functor (type theory) (← links)
- Lean (proof assistant) (← links)
- Uniqueness of identity proofs (← links)