Buchumschlag

Free Monads, Intrinsic Scoping, and Higher-Order Preunification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kudasov, Nikolai
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Monadic Second-Order Logic of Permutations
von: Jelínek, Vít, et al.
Veröffentlicht: (2025)

The Parameterized Complexity of Learning Monadic Second-Order Logic
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2023)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

The Monadic Theory of Toric Words
von: Berthé, Valérie, et al.
Veröffentlicht: (2023)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

Separability Properties of Monadically Dependent Graph Classes
von: Bonnet, Édouard, et al.
Veröffentlicht: (2025)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
von: Goncharov, Sergey
Veröffentlicht: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

The Formal Theory of Monads, Univalently
von: van der Weide, Niels
Veröffentlicht: (2022)

Tape Diagrams for Monoidal Monads
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
von: Dreier, Jan, et al.
Veröffentlicht: (2024)

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

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
von: Affeldt, Reynald, et al.
Veröffentlicht: (2023)

The Only Distributive Law Over the Powerset Monad Is the One You Know
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)

SAT-Inspired Higher-Order Eliminations
von: Blanchette, Jasmin, et al.
Veröffentlicht: (2022)

Hammering Higher Order Set Theory
von: Brown, Chad E., et al.
Veröffentlicht: (2025)

Kuroda's Translation for Higher-Order Logic
von: Traversié, Thomas
Veröffentlicht: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
von: Huot, Mathieu, et al.
Veröffentlicht: (2021)

Monadic Intersection Types, Relationally (Extended Version)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)

Stone Duality for Monads
von: Garner, Richard, et al.
Veröffentlicht: (2026)

Syntactic Effectful Realizability in Higher-Order Logic
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2025)

Monads and Distributive Laws in Substructural Contexts (Extended Version)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2026)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
von: Guo, Liye, et al.
Veröffentlicht: (2024)

Unification of Deterministic Higher-Order Patterns (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2026)

Expectation-based Analysis of Higher-Order Quantum Programs
von: Avanzini, Martin, et al.
Veröffentlicht: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Smart Choices and the Selection Monad
von: Abadi, Martin, et al.
Veröffentlicht: (2020)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
von: Charalambidis, Angelos, et al.
Veröffentlicht: (2026)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
von: Kammüller, Florian
Veröffentlicht: (2023)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
von: Kura, Satoshi
Veröffentlicht: (2023)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
von: Pollaci, Samuele, et al.
Veröffentlicht: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Demystifying Codensity Monads via Duality
von: Lenke, Fabian, et al.
Veröffentlicht: (2025)