Pages that link to "Item:Q5961667"
From MaRDI portal
The following pages link to On the proof theory of Coquand's calculus of constructions (Q5961667):
Displaying 10 items.
- Flag-based big-step semantics (Q516041) (← links)
- An epistemic logic for becoming informed (Q833038) (← links)
- Coquand's calculus of constructions: A mathematical foundation for a proof development system (Q1201296) (← links)
- A Gentzen-style sequent calculus of constructions with expansion rules (Q1575638) (← links)
- Interpreting HOL in the calculus of constructions (Q1885479) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- Pure type systems with more liberal rules (Q4328821) (← links)
- Type Theories from Barendregt’s Cube for Theorem Provers (Q5251190) (← links)
- Equiconsistency of the minimalist foundation with its classical version (Q6652037) (← links)
