Semantics for a lambda calculus for string diagrams
From MaRDI portal
Cites work
- A categorical model for a quantum circuit description language (extended abstract)
- A category of quantum posets
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- A diagrammatic axiomatisation for qubit entanglement
- A general adequacy result for a linear functional language
- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
- A programming language for spatial distribution of net systems
- A survey of graphical languages for monoidal categories
- Algebraic specification of data types: A synthetic approach
- An introduction to quantum programming in Quipper
- Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7--11, 2008. Proceedings, Part II
- Categorical quantum mechanics
- Classical control and quantum circuits in enriched category theory
- Classical control, quantum circuits and linear logic in enriched category theory
- Completing simple valuations in K-categories
- Computational interpretations of linear logic
- D-completions and the \(d\)-topology
- Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
- Full abstraction for PCF
- Full abstraction for signal flow graphs
- Geometry of interaction. V: Logic in the hyperfinite factor
- scientific article; zbMATH DE number 5708038 (Why is no real title available?)
- scientific article; zbMATH DE number 19484 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 2079022 (Why is no real title available?)
- scientific article; zbMATH DE number 785046 (Why is no real title available?)
- Interacting Quantum Observables
- Linear logic
- LNL-FPC: the linear/non-linear fixpoint calculus
- Mathematical foundations of information flow. Clifford lectures on information flow in physics, geometry, logic and computation, Tulane University, New Orleans, LA, USA, March 12--15, 2008
- Quantum programming with inductive datatypes: causality and affine type theory
- QWIRE: a core language for quantum circuits
- Relative symmetric monoidal closed categories. I: Autoenrichment and change of base
- The chemical abstract machine
- The enriched effect calculus: syntax and semantics
- The Verilog® Hardware Description Language
This page was built for publication: Semantics for a lambda calculus for string diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612802)
