Pages that link to "Calculus of constructions"
From HandWiki
The following pages link to Calculus of constructions:
Displayed 24 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Lambda calculus (← links)
- List of mathematical logic topics (← links)
- List object (← links)
- Homotopy type theory (← links)
- Dependent type (← links)
- Intuitionistic type theory (← links)
- Typed lambda calculus (← links)
- History of type theory (← links)
- Type theory (← links)
- Normal form (abstract rewriting) (← links)
- Lambda cube (← links)
- Pure type system (← links)
- Minimal logic (← links)
- Constructive proof (← links)
- Meta-circular evaluator (← links)
- List of functional programming topics (← links)
- Normalization property (abstract rewriting) (← links)
- Lean (proof assistant) (← links)
- Philosophy:Natural deduction (← links)
- Biography:Per Martin-Löf (← links)
- Biography:Gérard Huet (← links)
- Software:Matita (← links)
- Software:Coq (← links)
- Software:Lean (proof assistant) (← links)
