Pages that link to "Item:Q4635915"
From MaRDI portal
The following pages link to A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine (Q4635915):
Displaying 7 items.
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- (Q5111322) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)
- A functorial excursion between algebraic geometry and linear logic (Q6649501) (← links)
