Copertina

Graded Monads and Behavioural Equivalence Games

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ford, Chase, Beohar, Harsh, König, Barbara, Milius, Stefan, Schröder, Lutz
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Quantitative Graded Semantics and Spectra of Behavioural Metrics
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
di: Beohar, Harsh, et al.
Pubblicazione: (2023)

Proving Behavioural Apartness
di: Turkenburg, Ruben, et al.
Pubblicazione: (2024)

Relating Apartness and Branching Bisimulation Games
di: Rot, Jurriaan, et al.
Pubblicazione: (2024)

Demystifying Codensity Monads via Duality
di: Lenke, Fabian, et al.
Pubblicazione: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
di: Turkenburg, Ruben, et al.
Pubblicazione: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Efficient Coalgebraic Partition Refinement
di: Dorsch, Ulrich, et al.
Pubblicazione: (2017)

On Kleisli liftings and decorated trace semantics
di: Luckhardt, Daniel, et al.
Pubblicazione: (2024)

Bialgebraic Reasoning on Stateful Languages
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Higher-order bialgebraic semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

The Only Distributive Law Over the Powerset Monad Is the One You Know
di: Goncharov, Sergey, et al.
Pubblicazione: (2026)

Graded Monads in the Semantics of Nominal Automata
di: Schulze, Hannes, et al.
Pubblicazione: (2025)

Bialgebraic Reasoning on Higher-Order Program Equivalence
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

Towards a Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2022)

Expressivity of bisimulation pseudometrics over analytic state spaces
di: Luckhardt, Daniel, et al.
Pubblicazione: (2025)

Algebraic Reasoning over Relational Structures
di: Jurka, Jan, et al.
Pubblicazione: (2024)

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
di: Lenke, Fabian, et al.
Pubblicazione: (2026)

Non-expansive Fuzzy ALC
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

Tree Automata Acceptance up to Measurable Defect
di: Moyasari, Anita, et al.
Pubblicazione: (2026)

Distributive Laws of Monadic Containers
di: Purdy, Chris, et al.
Pubblicazione: (2025)

Terminal Coalgebras in Countably Many Steps
di: Adámek, Jiří, et al.
Pubblicazione: (2023)

An Expressive Coalgebraic Modal Logic for Cellular Automata
di: Basold, Henning, et al.
Pubblicazione: (2025)

Conformance Games for Graded Semantics
di: Forster, Jonas, et al.
Pubblicazione: (2024)

The Monadic Theory of Toric Words
di: Berthé, Valérie, et al.
Pubblicazione: (2023)

Stuttering Equivalence for Parity Games
di: Cranen, Sjoerd, et al.
Pubblicazione: (2011)

Witnesses for Fixpoint Games on Lattices
di: König, Barbara, et al.
Pubblicazione: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

From Partial to Monadic: Combinatory Algebra with Effects
di: Cohen, Liron, et al.
Pubblicazione: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
di: Di Lavore, Elena, et al.
Pubblicazione: (2026)

Behavioural Conformances based on Lax Couplings
di: Wild, Paul, et al.
Pubblicazione: (2025)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
di: Kudasov, Nikolai
Pubblicazione: (2022)

The Parameterized Complexity of Learning Monadic Second-Order Logic
di: van Bergerem, Steffen, et al.
Pubblicazione: (2023)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
di: Goncharov, Sergey
Pubblicazione: (2024)

The Formal Theory of Monads, Univalently
di: van der Weide, Niels
Pubblicazione: (2022)

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)