Image de couverture de livre

A Categorical Approach to DIBI Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gu, Tao, Bao, Jialu, Hsu, Justin, Silva, Alexandra, Zanasi, Fabio
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

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
par: Lorenzin, Antonio, et autres
Publié: (2025)

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

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
par: Lorenzin, Antonio, et autres
Publié: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
par: Lorenzin, Antonio, et autres
Publié: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
par: Sarkis, Ralph, et autres
Publié: (2025)

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

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

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
par: Milosavljevic, Aleksandar, et autres
Publié: (2022)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
par: Lobski, Leo, et autres
Publié: (2026)

A Fibrational Theory of First Order Differential Structures
par: Capucci, Matteo, et autres
Publié: (2024)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
par: Lobbia, Gabriele, et autres
Publié: (2024)

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

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
par: Piedeleu, Robin, et autres
Publié: (2024)

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

Deep Learning with Parametric Lenses
par: Cruttwell, Geoffrey S. H., 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)

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

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
par: Bao, Jialu, et autres
Publié: (2024)

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 Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

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

Layered Monoidal Theories II: Fibrational Semantics
par: Lobski, Leo, et autres
Publié: (2026)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

A Unifying Categorical View of Nondeterministic Iteration and Tests
par: Goncharov, Sergey, et autres
Publié: (2024)

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

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

Disconnection Rules are Complete for Chemical Reactions
par: Gale, Ella, et autres
Publié: (2024)

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

Learning Closed Signal Flow Graphs
par: Piotrovskaya, Ekaterina, et autres
Publié: (2024)

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

A Note on the Practice of Logical Inferentialism
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

A Constraint Opinion Model
par: Gadducci, Fabio, et autres
Publié: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
par: Goertzel, Ben
Publié: (2025)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
par: McPheat, Lachlan, et autres
Publié: (2020)