scientific article; zbMATH DE number 7199589
From MaRDI portal
Publication:5109520
Publication date: 12 May 2020
Full work available at URL: https://arxiv.org/abs/1711.05159
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Unnamed Item ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On block structures in quantum computation
- Freyd categories are enriched Lawvere theories
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- Semantics of higher-order quantum computation via geometry of interaction
- Monads with arities and their associated theories
- Algebraically compact functors
- Quantum programming with inductive datatypes: causality and affine type theory
- Complete positivity and natural representation of quantum computations
- A reflection theorem for closed categories
- Algebraic Effects, Linearity, and Quantum Programming Languages
- From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
- The enriched effect calculus: syntax and semantics
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
- Monads Need Not Be Endofunctors
- On bunched typing
- Quantum collections
- Towards a quantum programming language
- Presheaf Models of Quantum Computation: An Outline
- Enriching a Linear/Non-linear Lambda Calculus
- A categorical semantics for causal structure
- A Recipe for State-and-Effect Triangles
- The geometry of parallelism: classical, probabilistic, and quantum effects
- QWIRE: a core language for quantum circuits
- Linear usage of state
- Applying quantitative semantics to higher-order quantum computing
- On closed categories of functors
This page was built for publication:
