Buchumschlag

A Unifying Categorical View of Nondeterministic Iteration and Tests

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goncharov, Sergey, Uustalu, Tarmo
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

Monoid Structures on Indexed Containers
von: De Pascalis, Michele, et al.
Veröffentlicht: (2025)

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

Analyzing Divergence for Nondeterministic Probabilistic Models
von: Wu, Hao, et al.
Veröffentlicht: (2024)

Strategic Dominance: A New Preorder for Nondeterministic Processes
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2024)

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

Probabilistic Strategies: Definability and the Tensor Completeness Problem
von: Bowler, Nathan, et al.
Veröffentlicht: (2025)

Abstract Operational Methods for Call-by-Push-Value
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

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

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
von: Hofmann, Till, et al.
Veröffentlicht: (2024)

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Categorical Proof-Theoretic Semantics
von: Pym, David, et al.
Veröffentlicht: (2023)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Unifying Approach to Probabilistic Testing Equivalences
von: Chen, Weijun, et al.
Veröffentlicht: (2025)

A Categorical Approach to DIBI Models
von: Gu, Tao, et al.
Veröffentlicht: (2024)

A Categorical Foundation of Rough Sets
von: Kakutani, Yoshihiko
Veröffentlicht: (2025)

Extending Action Logic with Omega Iteration
von: Pshenitsyn, Tikhon
Veröffentlicht: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Categorical generalization of spectral decomposition
von: Nishizawa, Koki, et al.
Veröffentlicht: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

A Categorical Semantics for Linear Logical Frameworks
von: Vákár, Matthijs
Veröffentlicht: (2015)

Identity-Preserving Lax Extensions and Where to Find Them
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

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

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

On Complete Categorical Semantics for Effect Handlers
von: Kura, Satoshi
Veröffentlicht: (2026)

Proof Identity and Categorical Models of BV
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Strategies as Resource Terms, and their Categorical Semantics
von: Blondeau-Patissier, Lison, et al.
Veröffentlicht: (2023)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, 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)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
von: Holík, Lukáš, et al.
Veröffentlicht: (2025)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

A Categorical Framework for Modeling with Stock and Flow Diagrams
von: Baez, John C., et al.
Veröffentlicht: (2022)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Parametric Iteration in Resource Theories
von: Di Giorgio, Alessandro, et al.
Veröffentlicht: (2025)

A Simple Categorical Calculus of Interacting Processes
von: Nester, Chad, et al.
Veröffentlicht: (2026)