Pages that link to "Item:Q5458424"
From MaRDI portal
The following pages link to On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (Q5458424):
Displayed 5 items.
- Kripke models for classical logic (Q636371) (← links)
- A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance (Q3637183) (← links)
- (Q5089034) (← links)
- Dependent Types at Work (Q5191088) (← links)
- The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective (Q5415629) (← links)