Pages that link to "Item:Q4594256"
From MaRDI portal
The following pages link to Axiomatization of calculus of constructions (Q4594256):
Displaying 5 items.
- Some axioms for constructive analysis (Q453178) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Calculus of task-constructive objects and their interpretations: II (Q1387028) (← links)
- (Q4365103) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)