Image de couverture de livre

Concurrent Games over Relational Structures: The Origin of Game Comonads

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Montacute, Yoàv, Winskel, Glynn
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Programming Languages Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Linear Arboreal Categories
par: Abramsky, Samson, et autres
Publié: (2023)

Concurrent Strategies on Games with Algebras
par: Huriot-Tattegrain, Sacha, et autres
Publié: (2024)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
par: Fujii, Soichiro, et autres
Publié: (2026)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Scoped Effects as Parameterized Algebraic Theories
par: Matache, Cristina, et autres
Publié: (2024)

Foundations of Substructural Dependent Type Theory
par: Aberlé, C. B.
Publié: (2024)

Parametricity via Cohesion
par: Aberlé, C. B.
Publié: (2024)

Non-Cartesian Guarded Recursion with Daggers
par: Lemonnier, Louis
Publié: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
par: Lemonnier, Louis
Publié: (2024)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

A Unified Framework for Initial Semantics
par: Lamiaux, Thomas, et autres
Publié: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
par: Mangel, Éléonore, et autres
Publié: (2025)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

Stone Duality for Monads
par: Garner, Richard, et autres
Publié: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
par: Carette, TItouan, et autres
Publié: (2022)

For Generalised Algebraic Theories, Two Sorts Are Enough
par: Avrillon, Samy, et autres
Publié: (2026)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
par: Aberlé, C. B.
Publié: (2026)

The Hidden Strength of Costrong Functors
par: Balan, Adriana, et autres
Publié: (2025)

When is the partial map classifier a Sierpiński cone?
par: Pugh, Leoni, et autres
Publié: (2025)

Compositional imprecise probability
par: Liell-Cock, Jack, et autres
Publié: (2024)

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
par: Paquet, Hugo, et autres
Publié: (2023)

Proto-Quipper with Reversing and Control
par: Fu, Peng, et autres
Publié: (2024)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
par: Haynes, Houston
Publié: (2026)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Relative fixed points of functors
par: Schoen, Ezra, et autres
Publié: (2023)

Double Glueing over Free Exponential: with Measure Theoretic Applications
par: Hamano, Masahiro
Publié: (2021)

A Toolkit for Structured Lifts
par: Kapulkin, Chris, et autres
Publié: (2025)

Combinatory Completeness in Structured Multicategories
par: Kuzmin, Ivan, et autres
Publié: (2025)

Rewriting Modulo Traced Comonoid Structure
par: Ghica, Dan R., et autres
Publié: (2023)

A Fibrational Theory of First Order Differential Structures
par: Capucci, Matteo, et autres
Publié: (2024)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
par: Milosavljevic, Aleksandar, et autres
Publié: (2022)