Image de couverture de livre

A Unifying Categorical View of Nondeterministic Iteration and Tests

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Goncharov, Sergey, Uustalu, Tarmo
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Monoid Structures on Indexed Containers
par: De Pascalis, Michele, et autres
Publié: (2025)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
par: Goncharov, Sergey
Publié: (2024)

Analyzing Divergence for Nondeterministic Probabilistic Models
par: Wu, Hao, et autres
Publié: (2024)

Strategic Dominance: A New Preorder for Nondeterministic Processes
par: Henzinger, Thomas A., et autres
Publié: (2024)

Big Steps in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2025)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
par: Bowler, Nathan, et autres
Publié: (2025)

Abstract Operational Methods for Call-by-Push-Value
par: Goncharov, Sergey, et autres
Publié: (2024)

The Only Distributive Law Over the Powerset Monad Is the One You Know
par: Goncharov, Sergey, et autres
Publié: (2026)

Relators and Notions of Simulation Revisited
par: Goncharov, Sergey, et autres
Publié: (2025)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
par: Hofmann, Till, et autres
Publié: (2024)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Categorical Proof-Theoretic Semantics
par: Pym, David, et autres
Publié: (2023)

Bialgebraic Reasoning on Higher-Order Program Equivalence
par: Goncharov, Sergey, et autres
Publié: (2024)

A Unifying Approach to Probabilistic Testing Equivalences
par: Chen, Weijun, et autres
Publié: (2025)

A Categorical Approach to DIBI Models
par: Gu, Tao, et autres
Publié: (2024)

A Categorical Foundation of Rough Sets
par: Kakutani, Yoshihiko
Publié: (2025)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Categorical generalization of spectral decomposition
par: Nishizawa, Koki, et autres
Publié: (2025)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

Identity-Preserving Lax Extensions and Where to Find Them
par: Goncharov, Sergey, et autres
Publié: (2024)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Higher-order bialgebraic semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Bialgebraic Reasoning on Stateful Languages
par: Goncharov, Sergey, et autres
Publié: (2025)

Towards a Higher-Order Bialgebraic Denotational Semantics
par: Goncharov, Sergey, et autres
Publié: (2026)

On Complete Categorical Semantics for Effect Handlers
par: Kura, Satoshi
Publié: (2026)

Proof Identity and Categorical Models of BV
par: Acclavio, Matteo, et autres
Publié: (2026)

Strategies as Resource Terms, and their Categorical Semantics
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
par: Różowski, Wojciech, et autres
Publié: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
par: Holík, Lukáš, et autres
Publié: (2025)

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

A Categorical Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

The Algebra of Iterative Constructions
par: Batz, Kevin, et autres
Publié: (2026)

Towards a Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2022)

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

Parametric Iteration in Resource Theories
par: Di Giorgio, Alessandro, et autres
Publié: (2025)

A Simple Categorical Calculus of Interacting Processes
par: Nester, Chad, et autres
Publié: (2026)