Copertina

The Only Distributive Law Over the Powerset Monad Is the One You Know

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goncharov, Sergey, Hofmann, Dirk, Nora, Pedro, Schröder, Lutz, Wild, Paul
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relators and Notions of Simulation Revisited
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Identity-Preserving Lax Extensions and Where to Find Them
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

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

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

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

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

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, 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)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
di: Fujii, Soichiro, et al.
Pubblicazione: (2026)

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

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

A Unifying Categorical View of Nondeterministic Iteration and Tests
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
di: Bowler, Nathan, et al.
Pubblicazione: (2025)

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

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

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Big Steps in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

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

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

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)

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)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

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

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

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

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
di: Dreier, Jan, et al.
Pubblicazione: (2024)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
di: Molick, Sanderson, et al.
Pubblicazione: (2026)

What Monads Can and Cannot Do with a Few Extra Pages
di: Møgelberg, Rasmus Ejlers, et al.
Pubblicazione: (2023)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2023)

Handling the Selection Monad (Full Version)
di: Plotkin, Gordon, et al.
Pubblicazione: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

Distributed Knowing How
di: Liu, Bin, et al.
Pubblicazione: (2025)

Monadic Intersection Types, Relationally (Extended Version)
di: Gavazzo, Francesco, et al.
Pubblicazione: (2024)

Stone Duality for Monads
di: Garner, Richard, et al.
Pubblicazione: (2026)

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