Pages that link to "Item:Q1193601"
From MaRDI portal
The following pages link to The extended calculus of constructions (ECC) with inductive types (Q1193601):
Displaying 7 items.
- Inductive types and exact completion (Q556819) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)
- Semantics of constructions. II: The initial algebraic approach (Q5945839) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
