The following pages link to Game Semantics in String Diagrams (Q2986824):
Displayed 12 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- An Isbell duality theorem for type refinement systems (Q4640309) (← links)
- Dialogue Categories and Frobenius Monoids (Q4922083) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5028464) (← links)
- (Q5382449) (← links)