Copertina

What Monads Can and Cannot Do with a Few Extra Pages

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Møgelberg, Rasmus Ejlers, Zwart, Maaike
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multi-clocked Guarded Recursion Beyond ω
di: Møgelberg, Rasmus Ejlers
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
di: Stassen, Philipp Jan Andries, et al.
Pubblicazione: (2024)

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

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

Correspondence between Composite Theories and Distributive Laws
di: Rosset, Aloïs, et al.
Pubblicazione: (2024)

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

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

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

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)

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

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

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
di: Goncharov, Sergey
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)

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

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

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

Handling the Selection Monad (Full Version)
di: Plotkin, Gordon, 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)

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

Smart Choices and the Selection Monad
di: Abadi, Martin, et al.
Pubblicazione: (2020)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

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

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

Strong Dinatural Transformations and Generalised Codensity Monads
di: Piróg, Maciej, et al.
Pubblicazione: (2025)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
di: Cheng, Jingde
Pubblicazione: (2025)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
di: Iosif, Radu, et al.
Pubblicazione: (2023)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

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

Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!
di: Gu, Rong
Pubblicazione: (2024)

The Varieties of Ought-Implies-Can and Deontic STIT Logic
di: van Berkel, Kees, et al.
Pubblicazione: (2026)

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
di: Peled, Romy, et al.
Pubblicazione: (2025)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
di: Ho, Hsi-Ming, et al.
Pubblicazione: (2024)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)