Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron: A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus, EPTCS 88 (2012) 1-15 [arXiv:1012.4032, doi:10.4204/EPTCS.88.1]
Alejandro Díaz-Caro, Gilles Dowek: Typing Quantum Superpositions and Measurement, in: Theory and Practice of Natural Computing. TPNC 2017, Lecture Notes in Computer Science 10687, Springer (2017) [doi:10.1007/978-3-319-71069-3_22]
Created on July 16, 2024 at 13:27:57. See the history of this page for a list of all contributions to it.