Copertina

A Diagrammatic Algebra for Program Logics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bonchi, Filippo, Di Giorgio, Alessandro, Di Lavore, Elena
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Diagrammatic Basis for Computer Programming
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Diagrammatic Algebra of First Order Logic
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Program Logics via Distributive Monoidal Categories
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Effectful Mealy Machines
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

The calculus of neo-Peircean relations
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

Evidential Decision Theory via Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2023)

Monoidal Width
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

Timing via Pinwheel Double Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

A Simple Formal Language for Probabilistic Decision Problems
di: Di Lavore, Elena, et al.
Pubblicazione: (2024)

Coinductive Streams in Monoidal Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

A Coalgebraic Model of Quantum Bisimulation
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2025)

Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Order in Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
di: Di Lavore, Elena, et al.
Pubblicazione: (2026)

Tapes as Stochastic Matrices of String Diagrams
di: Bonchi, Filippo, et al.
Pubblicazione: (2026)

Parametric Iteration in Resource Theories
di: Di Giorgio, Alessandro, et al.
Pubblicazione: (2025)

Coalgebraic Behavioral Metrics
di: Baldan, Paolo, et al.
Pubblicazione: (2017)

String Diagrams for Closed Symmetric Monoidal Categories
di: Reader, Callum, et al.
Pubblicazione: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
di: Jin, Ziyue, et al.
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

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

From Actions to Obligations: A Deontic Action Model Logic
di: Cignarale, Giorgio
Pubblicazione: (2026)

Type Isomorphisms for Multiplicative-Additive Linear Logic
di: Di Guardia, Rémi, et al.
Pubblicazione: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
di: Torres-Ruiz, Mateo, et al.
Pubblicazione: (2025)

Towards Term-based Verification of Diagrammatic Equivalence
di: Cailler, Julie, et al.
Pubblicazione: (2026)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
di: Lobski, Leo, et al.
Pubblicazione: (2026)

A Dynamic Deontic Simplicial Logic for Joint Commitments
di: Cignarale, Giorgio, et al.
Pubblicazione: (2026)

On the role of connectivity in Linear Logic proofs
di: Di Donna, Raffaele, et al.
Pubblicazione: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

Polynomial Lawvere Logic
di: Bacci, Giorgio, et al.
Pubblicazione: (2024)

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
di: Di Guardia, Rémi, et al.
Pubblicazione: (2026)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Logic Programming with Multiplicative Structures
di: Acclavio, Matteo, et al.
Pubblicazione: (2024)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)