Game Semantics in String Diagrams
From MaRDI portal
Recommendations
- Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
- A graphical foundation for interleaving in game semantics
- Games on Strings with a Limited Order Relation
- scientific article; zbMATH DE number 7340142
- Extended game-theoretical semantics
- Bialgebraic semantics for string diagrams
- A game semantics for system P
- Game semantics in the nominal model
- Game semantics approach to higher-order complexity
- Games in the semantics of programming languages -- an elementary introduction
Cited in
(22)- An Isbell duality theorem for type refinement systems
- A micrological study of negation
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- Category theory, logic and formal linguistics: some connections, old and new
- A Graphical Foundation for Schedules
- Dialogue categories and Frobenius monoids
- Ribbon tensorial logic
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- Justified sequences in string diagrams: a comparison between two approaches to concurrent game semantics
- A truly concurrent game model of the asynchronous -calculus
- A tale of additives and concurrency in game semantics
- On dialogue games and coherent strategies
- Fibred pseudo double categories for game semantics
- scientific article; zbMATH DE number 7471699 (Why is no real title available?)
- Towards a formal theory of graded monads
- A graphical foundation for interleaving in game semantics
- Proof nets, coends and the Yoneda isomorphism
- The parametric continuation monad
- Dialogue categories and chiralities
- A new conjecture about identity of proofs
- String diagrams for regular logic (extended abstract)
- Imperative programs as proofs via game semantics
This page was built for publication: Game Semantics in String Diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986824)
