scientific article; zbMATH DE number 7453968
From MaRDI portal
Publication:5020949
Publication date: 7 January 2022
Full work available at URL: https://arxiv.org/abs/1906.09649
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraically compact functors
- Quantum programming with inductive datatypes: causality and affine type theory
- Semantics for first-order affine inductive data types via slice categories
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
- Algebraic specification of data types: A synthetic approach
- The Category-Theoretic Solution of Recursive Domain Equations
- Enriching a Linear/Non-linear Lambda Calculus