Buchumschlag

On Kleisli liftings and decorated trace semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Luckhardt, Daniel, Beohar, Harsh, Küpper, Sebastian
Format:	Preprint
Veröffentlicht:	2024
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

Expressivity of bisimulation pseudometrics over analytic state spaces
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2025)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

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

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

Tree Automata Acceptance up to Measurable Defect
von: Moyasari, Anita, et al.
Veröffentlicht: (2026)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Denotational semantics driven simplicial homology?
von: Barbarossa, Davide
Veröffentlicht: (2024)

Filling in the semantics for intuitionistic conditional logic
von: Dufty, Brendan, et al.
Veröffentlicht: (2025)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
von: d'Aragona, Antonio Piccolomini
Veröffentlicht: (2025)

T-BAT semantics and its logics
von: Pawlowski, Pawel
Veröffentlicht: (2025)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
von: Aristote, Quentin
Veröffentlicht: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Global types and event structure semantics for asynchronous multiparty sessions
von: Castellani, Ilaria, et al.
Veröffentlicht: (2021)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Hofmann-Streicher lifting of fibred categories
von: Slattery, Andrew, et al.
Veröffentlicht: (2025)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Operational semantics and program verification using many-sorted hybrid modal logic
von: Leustean, Ioana, et al.
Veröffentlicht: (2019)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
von: Sterling, Jonathan
Veröffentlicht: (2023)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Modular many-valued semantics for combined logics
von: Caleiro, Carlos, et al.
Veröffentlicht: (2022)

Quantum Petri Nets with Event Structures semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Quantum Petri Nets with Event Structure semantics
von: Joachim, Julien Saan, et al.
Veröffentlicht: (2025)

Combining contextuality and causality: a game semantics approach
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
von: Soldevila, Mallku, et al.
Veröffentlicht: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2025)

AI Space Physics: Constitutive boundary semantics for open AI institutions
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)