Cover Image

Graphical Quadratic Algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stein, Dario, Zanasi, Fabio, Piedeleu, Robin, Samuelson, Richard
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory Optimization and Control G.3; F.3.2; F.4.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

An Analysis of Symmetry in Quantitative Semantics
by: Clairambault, Pierre, et al.
Published: (2024)

Intrinsically Correct Sorting in Cubical Agda
by: Alexandru, Cass, et al.
Published: (2024)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
by: Stein, Dario
Published: (2025)

A taxonomy of categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

Graded Differential Categories and Graded Differential Linear Logic
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)

Constructibility and the P versus NP problem
by: Hole, Arne
Published: (2024)

A Graded Modal Type Theory for Pulse Schedules
by: Adams, Robin, et al.
Published: (2025)

Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)

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

Semantics out of context: nominal absolute denotations for first-order logic and computation
by: Gabbay, Murdoch J.
Published: (2013)

On the $p$-adic Skolem Problem
by: Bacik, Piotr, et al.
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Infinitary Refinement Types for Temporal Properties in Scott Domains
by: Riba, Colin, et al.
Published: (2025)

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

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
by: Raphaëlle, Crubillé
Published: (2026)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
by: Bisping, Benjamin, et al.
Published: (2024)

A Fibrational Perspective on Differential Linear Logic
by: Koleilat, Jad
Published: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
by: Lago, Ugo Dal, et al.
Published: (2026)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

EGGs are adhesive!
by: Biondo, Roberto, et al.
Published: (2025)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
by: Zaiser, Fabian, et al.
Published: (2024)

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

A Note on the NP-Hardness of PARTITION Via First-Order Projections
by: Iturralde, Paúl Risco
Published: (2025)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2020)

Partial Typing for Asynchronous Multiparty Sessions
by: Barbanera, Franco, et al.
Published: (2024)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
by: Ye, Kangfeng, et al.
Published: (2024)

Separation Logic of Generic Resources via Sheafeology
by: van Starkenburg, Berend, et al.
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

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

Proof-Carrying Neuro-Symbolic Code
by: Komendantskaya, Ekaterina
Published: (2025)

Operational methods in semantics
by: Amadio, Roberto M.
Published: (2025)