scientific article; zbMATH DE number 7297843
From MaRDI portal
Publication:5144641
zbMath1457.68190MaRDI QIDQ5144641
Aleks Kissinger, Sander Uijlen
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330030
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Quantum state spaces, operational and probabilistic concepts (81P16)
Related Items (11)
Classical control and quantum circuits in enriched category theory ⋮ Bifibrations of polycategories and classical linear logic ⋮ Causal inference via string diagram surgery ⋮ Space in Monoidal Categories ⋮ Universal Properties in Quantum Theory ⋮ Open Diagrams via Coend Calculus ⋮ Cornering Optics ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
This page was built for publication: