Pages that link to "Item:Q5436999"
From MaRDI portal
The following pages link to Fibred and Indexed Categories for Abstract Model Theory (Q5436999):
Displaying 9 items.
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Indexed and fibred structures for Hoare logic (Q2219084) (← links)
- Indexed categories for program development (Q3986546) (← links)
- Accessible Categories: The Foundations of Categorical Model Theory (Q3995283) (← links)
- (Q4663634) (← links)
- A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects (Q5040431) (← links)
- Towards a uniform presentation of logical systems by indexed categories and adjoint situations (Q5176546) (← links)
- A Functorial Model Theory (Q5745536) (← links)
- Indexed and fibered structures for partial and total correctness assertions (Q5889306) (← links)