Pages that link to "Item:Q3613326"
From MaRDI portal
The following pages link to Functorial Boxes in String Diagrams (Q3613326):
Displaying 18 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Unitary transformations of fibre functors (Q2078404) (← links)
- Bimonoidal structure of probability monads (Q2134828) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- On traced monoidal closed categories (Q3625674) (← links)
- (Q4972738) (← links)
- Open Diagrams via Coend Calculus (Q5019661) (← links)
- Cyber Kittens, or Some First Steps Towards Categorical Cybernetics (Q5019665) (← links)
- (Q5089251) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- A covariant Stinespring theorem (Q5884864) (← links)
- String Diagrams for Layered Explanations (Q6150168) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
