Imagen de Portada

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Goncharov, Sergey
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Distributive Laws of Monadic Containers
por: Purdy, Chris, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

Mirroring Call-by-Need, or Values Acting Silly
por: Accattoli, Beniamino, et al.
Publicado: (2024)

Guarded Successor: A Novel Temporal Logic
por: Asor, Ohad
Publicado: (2024)

Tape Diagrams for Monoidal Monads
por: Bonchi, Filippo, et al.
Publicado: (2025)

The Formal Theory of Monads, Univalently
por: van der Weide, Niels
Publicado: (2022)

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

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

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

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

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
por: Pizzo, Nicolò, et al.
Publicado: (2026)

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

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
por: Barbarossa, Davide
Publicado: (2024)

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

Stone Duality for Monads
por: Garner, Richard, et al.
Publicado: (2026)

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

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
por: Kieronski, Emanuel, et al.
Publicado: (2016)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
por: Bednarczyk, Bartosz, et al.
Publicado: (2025)

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

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

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
por: Accattoli, Beniamino
Publicado: (2024)

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Higher-order bialgebraic semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Bialgebraic Reasoning on Stateful Languages
por: Goncharov, Sergey, et al.
Publicado: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2026)

Analyzing Value Functions of States in Parametric Markov Chains
por: Engelen, Kasper, et al.
Publicado: (2025)