Semantics for a lambda calculus for string diagrams
From MaRDI portal
Publication:6612802
DOI10.1007/978-3-031-24117-8_26MaRDI QIDQ6612802
Bert Lindenhovius, Vladimir Zamdzhiev, Michael Mislove
Publication date: 1 October 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Geometry of interaction. V: Logic in the hyperfinite factor
- Linear logic
- Computational interpretations of linear logic
- Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7--11, 2008. Proceedings, Part II
- D-completions and the \(d\)-topology
- The chemical abstract machine
- A general adequacy result for a linear functional language
- Full abstraction for PCF
- A category of quantum posets
- Classical control and quantum circuits in enriched category theory
- Completing simple valuations in K-categories
- Quantum programming with inductive datatypes: causality and affine type theory
- Relative symmetric monoidal closed categories. I: Autoenrichment and change of base
- Full abstraction for signal flow graphs
- Categorical quantum mechanics
- An Introduction to Quantum Programming in Quipper
- 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
- The enriched effect calculus: syntax and semantics
- A Survey of Graphical Languages for Monoidal Categories
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
- Interacting Quantum Observables
- The Verilog® Hardware Description Language
- Algebraic specification of data types: A synthetic approach
- A Diagrammatic Axiomatisation for Qubit Entanglement
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
- Enriching a Linear/Non-linear Lambda Calculus
- A Programming Language for Spatial Distribution of Net Systems
- QWIRE: a core language for quantum circuits
- A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
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)
