:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Gu, Tao, Bao, Jialu, Hsu, Justin, Silva, Alexandra, Zanasi, Fabio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2401.05842
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bayesian Networks, Markov Networks, Moralisation, Triangulation: a Categorical Perspective
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

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

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
di: Sarkis, Ralph, et al.
Pubblicazione: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
di: Różowski, Wojciech, et al.
Pubblicazione: (2026)

Complete Diagrammatic Axiomatisations of Relative Entropy
di: Sarkis, Ralph, et al.
Pubblicazione: (2026)

String Diagrams for $λ$-calculi and Functional Computation
di: Ghica, Dan, et al.
Pubblicazione: (2023)

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
di: Milosavljevic, Aleksandar, et al.
Pubblicazione: (2022)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
di: Piedeleu, Robin, et al.
Pubblicazione: (2024)

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

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
di: Lobbia, Gabriele, et al.
Pubblicazione: (2024)

A Fibrational Theory of First Order Differential Structures
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
di: Schoen, Ezra, et al.
Pubblicazione: (2024)

Deep Learning with Parametric Lenses
di: Cruttwell, Geoffrey S. H., et al.
Pubblicazione: (2024)

Layered Monoidal Theories II: Fibrational Semantics
di: Lobski, Leo, et al.
Pubblicazione: (2026)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Proof Identity and Categorical Models of BV
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
di: Bao, Jialu, et al.
Pubblicazione: (2024)

Disconnection Rules are Complete for Chemical Reactions
di: Gale, Ella, et al.
Pubblicazione: (2024)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Learning Closed Signal Flow Graphs
di: Piotrovskaya, Ekaterina, et al.
Pubblicazione: (2024)

A Categorical Foundation of Rough Sets
di: Kakutani, Yoshihiko
Pubblicazione: (2025)

A Categorical Framework for Modeling with Stock and Flow Diagrams
di: Baez, John C., et al.
Pubblicazione: (2022)

Categorical generalization of spectral decomposition
di: Nishizawa, Koki, et al.
Pubblicazione: (2025)

A Categorical Semantics for Linear Logical Frameworks
di: Vákár, Matthijs
Pubblicazione: (2015)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

On Complete Categorical Semantics for Effect Handlers
di: Kura, Satoshi
Pubblicazione: (2026)

Strategies as Resource Terms, and their Categorical Semantics
di: Blondeau-Patissier, Lison, et al.
Pubblicazione: (2023)

A Unifying Categorical View of Nondeterministic Iteration and Tests
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

Graphical Quadratic Algebra
di: Stein, Dario, et al.
Pubblicazione: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
di: Asor, Ohad
Pubblicazione: (2026)

A Simple Categorical Calculus of Interacting Processes
di: Nester, Chad, et al.
Pubblicazione: (2026)

A Note on the Practice of Logical Inferentialism
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

A Constraint Opinion Model
di: Gadducci, Fabio, et al.
Pubblicazione: (2025)

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

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
di: Li, James, et al.
Pubblicazione: (2024)