Arrighi, Pablo; Díaz-Caro, Alejandro; Valiron, Benoît The vectorial \(\lambda\)-calculus. (English) Zbl 1370.68045 Inf. Comput. 254, Part 1, 105-139 (2017). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Arrighi} et al., Inf. Comput. 254, Part 1, 105--139 (2017; Zbl 1370.68045) Full Text: DOI arXiv Link
Arrighi, Pablo; Díaz-Caro, Alejandro A System F accounting for scalars. (English) Zbl 1239.03008 Log. Methods Comput. Sci. 8, No. 1, Paper No. 11, 32 p. (2012). MSC: 03B40 03F52 PDFBibTeX XMLCite \textit{P. Arrighi} and \textit{A. Díaz-Caro}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 11, 32 p. (2012; Zbl 1239.03008) Full Text: DOI
Arrighi, Pablo; Díaz-Caro, Alejandro Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic. (English) Zbl 1347.03019 Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 219-229 (2011). MSC: 03B40 81P10 PDFBibTeX XMLCite \textit{P. Arrighi} and \textit{A. Díaz-Caro}, Electron. Notes Theor. Comput. Sci. 270, No. 2, 219--229 (2011; Zbl 1347.03019) Full Text: DOI