Image de couverture de livre

A Diagrammatic Basis for Computer Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bonchi, Filippo, Di Giorgio, Alessandro, Di Lavore, Elena
Format:	Preprint
Publié:	2025
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

A Diagrammatic Algebra for Program Logics
par: Bonchi, Filippo, et autres
Publié: (2024)

Diagrammatic Polyhedral Algebra
par: Bonchi, Filippo, et autres
Publié: (2021)

Tape Diagrams for Monoidal Monads
par: Bonchi, Filippo, et autres
Publié: (2025)

Diagrammatic Algebra of First Order Logic
par: Bonchi, Filippo, et autres
Publié: (2024)

Program Logics via Distributive Monoidal Categories
par: Bonchi, Filippo, et autres
Publié: (2025)

Effectful Mealy Machines
par: Bonchi, Filippo, et autres
Publié: (2024)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
par: Bonchi, Filippo, et autres
Publié: (2024)

The calculus of neo-Peircean relations
par: Bonchi, Filippo, et autres
Publié: (2025)

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

Monoidal Width
par: Di Lavore, Elena, et autres
Publié: (2022)

Timing via Pinwheel Double Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

A Simple Formal Language for Probabilistic Decision Problems
par: Di Lavore, Elena, et autres
Publié: (2024)

Coinductive Streams in Monoidal Categories
par: Di Lavore, Elena, et autres
Publié: (2022)

A Coalgebraic Model of Quantum Bisimulation
par: Ceragioli, Lorenzo, et autres
Publié: (2025)

Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Order in Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
par: Di Lavore, Elena, et autres
Publié: (2026)

Tapes as Stochastic Matrices of String Diagrams
par: Bonchi, Filippo, et autres
Publié: (2026)

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

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

String Diagrams for Closed Symmetric Monoidal Categories
par: Reader, Callum, et autres
Publié: (2025)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
par: Torres-Ruiz, Mateo, et autres
Publié: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
par: Cailler, Julie, et autres
Publié: (2026)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
par: Gatterbauer, Wolfgang
Publié: (2024)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
par: Jin, Ziyue, et autres
Publié: (2025)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
par: Gatterbauer, Wolfgang
Publié: (2024)

Computing unsatisfiable cores for LTLf specifications
par: Roveri, Marco, et autres
Publié: (2022)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
par: Sarkis, Ralph, et autres
Publié: (2026)

Consistent Update Synthesis via Privatized Beliefs
par: Schlögl, Thomas, et autres
Publié: (2024)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

From Actions to Obligations: A Deontic Action Model Logic
par: Cignarale, Giorgio
Publié: (2026)

Context, Judgement, Deduction
par: Coraglia, Greta, et autres
Publié: (2021)

Machine-Checked Categorical Diagrammatic Reasoning
par: Guillemet, Benoît, et autres
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)

Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program
par: Díaz-Caro, Alejandro
Publié: (2025)

Type Isomorphisms for Multiplicative-Additive Linear Logic
par: Di Guardia, Rémi, et autres
Publié: (2024)