Pages that link to "Item:Q2639838"
From MaRDI portal
The following pages link to A higher-order calculus and theory abstraction (Q2639838):
Displaying 9 items.
- Type checking with universes (Q1177937) (← links)
- The extended calculus of constructions (ECC) with inductive types (Q1193601) (← links)
- Constructive sets in computable sets (Q1372877) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- (Q5472887) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)
- An intuitionistic set-theoretical model of fully dependent CC (Q6174091) (← links)
