3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2019
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…
math.CT2013★ 3 cited
Categorical models of computation: partially traced categories and presheaf models of quantum computation
Octavio Malherbe
This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representati…