Pages that link to "Item:Q1588062"
From MaRDI portal
The following pages link to Feedback for linearly distributive categories: Traces and fixpoints (Q1588062):
Displaying 6 items.
- Machine semantics (Q959818) (← links)
- A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories (Q3400945) (← links)
- Towards a typed Geometry of Interaction (Q3564345) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
- Proofs as Polynomials (Q5415631) (← links)
