Pages that link to "Item:Q2785694"
From MaRDI portal
The following pages link to Categorical properties of logical frameworks (Q2785694):
Displaying 7 items.
- Structures definable in polymorphism (Q1273075) (← links)
- Relative properties of frame language (Q1964362) (← links)
- Categorial fibring of logics with terms and binding operators (Q2782494) (← links)
- Natural models of homotopy type theory (Q3130300) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Formal categorical reasoning (Q5102205) (← links)
- Semantics of constructions. I: The traditional approach (Q5934287) (← links)