:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Plotkin, Gordon, Xie, Ningning
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2504.03890
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Linearization via Rewriting (Long Version)
por: Lago, Ugo Dal, et al.
Publicado: (2025)

Ordered Adjoint Logic (Extended Version)
por: Roshal, Sophia, et al.
Publicado: (2026)

Adjoint Natural Deduction (Extended Version)
por: Jang, Junyoung, et al.
Publicado: (2024)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
por: Dvir, Yotam, et al.
Publicado: (2025)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

An Abstract Domain for Heap Commutativity (Extended Version)
por: Pincus, Jared, et al.
Publicado: (2024)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
por: Cheng, Ruotong, et al.
Publicado: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
por: Lööw, Andreas, et al.
Publicado: (2024)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
por: Gladshtein, Vladimir, et al.
Publicado: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
por: Tsukada, Takeshi, et al.
Publicado: (2025)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
por: Giusti, Giulia, et al.
Publicado: (2025)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
por: Lahav, Ori, et al.
Publicado: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
por: Grandury, Marcos, et al.
Publicado: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
por: Haselwarter, Philipp G., et al.
Publicado: (2026)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
por: Voichick, Finn, et al.
Publicado: (2022)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
por: Seidel, Anjo, et al.
Publicado: (2025)

Kleene algebra with commutativity conditions is undecidable
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2024)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
por: Amato, Gianluca, et al.
Publicado: (2024)

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

Full LTL Synthesis over Infinite-state Arenas
por: Azzopardi, Shaun, et al.
Publicado: (2023)

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

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Sum and Tensor of Quantitative Effects
por: Bacci, Giorgio, et al.
Publicado: (2022)

Propositional Logics for the Lawvere Quantale
por: Bacci, Giorgio, et al.
Publicado: (2023)

Polynomial Lawvere Logic
por: Bacci, Giorgio, 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)

A Probabilistic Choreography Language for PRISM
por: Carbone, Marco, et al.
Publicado: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

Positive Sharing and Abstract Machines
por: Accattoli, Beniamino, et al.
Publicado: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
por: Kobayashi, Kentaro, et al.
Publicado: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
por: Elad, Neta, et al.
Publicado: (2025)