A concrete model for a typed linear algebraic lambda calculus
From MaRDI portal
Publication:6149958
DOI10.1017/s0960129523000361arXiv1806.09236OpenAlexW3092546402MaRDI QIDQ6149958
Alejandro Díaz-Caro, Octavio Malherbe
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1806.09236
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The vectorial \(\lambda\)-calculus
- Computational interpretations of linear logic
- A categorical construction for the computational definition of vector spaces
- Confluence in probabilistic rewriting
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Dagger Compact Closed Categories and Completely Positive Maps
- A System F accounting for scalars
- Linearity in the Non-deterministic Call-by-Value Setting
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
- On quantum lambda calculi: a foundational perspective
- Typing Quantum Superpositions and Measurement
- Applying quantitative semantics to higher-order quantum computing
- A lambda calculus for quantum computation with classical control
This page was built for publication: A concrete model for a typed linear algebraic lambda calculus
