1 citations · 1 across the 1 of their papers we have counts for
1 paper
Francisco Noriega, Alejandro Díaz-Caro
We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F w…