Pages that link to "Item:Q1201296"
From MaRDI portal
The following pages link to Coquand's calculus of constructions: A mathematical foundation for a proof development system (Q1201296):
Displaying 5 items.
- 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)
- Type Theories from Barendregt’s Cube for Theorem Provers (Q5251190) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)
