Pages that link to "Intuitionistic type theory"
Jump to navigation
Jump to search
The following pages link to Intuitionistic type theory:
Displaying 22 items.
- Functional programming (← links)
- Intuitionism (← links)
- Type theory (← links)
- Speech act (← links)
- Truth value (← links)
- Intuitionistic logic (← links)
- Foundations of mathematics (← links)
- Proof theory (← links)
- Institute for Advanced Study (← links)
- Type (← links)
- History of topos theory (← links)
- Curry–Howard correspondence (← links)
- List of mathematical logic topics (← links)
- Constructive proof (← links)
- Typed lambda calculus (← links)
- Higher-order logic (← links)
- Rocq (← links)
- Calculus of constructions (← links)
- Game semantics (← links)
- List of functional programming topics (← links)
- Setoid (← links)
- Proof-theoretic semantics (← links)