No CrossRef data available.
Article contents
A linear linear lambda-calculus
Published online by Cambridge University Press: 31 May 2024
Abstract
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part of a broader research program aiming to define a logic with a proof language that forms a quantum programming language.
- Type
- Special Issue: LSFA 2021 and LSFA 2022
- Information
- Copyright
- © The Author(s), 2024. Published by Cambridge University Press
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240530151032987-0496:S0960129524000197:S0960129524000197_inline2157.png?pub-status=live)