A categorical construction for the computational definition of vector spaces

Alejandro Díaz-Caro, Octavio Malherbe

Lambda-S is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi. One is to forbid duplication of variables, while the other…