Author:
Díaz-Caro Alejandro,Dowek Gilles,Ivnisky Malena,Malherbe Octavio
Publisher
Springer Nature Switzerland
Reference24 articles.
1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of LICS 2005, pp. 249–258 (2005)
2. Arrighi, P., Díaz-Caro, A.: A system F accounting for scalars. Log. Methods Comput. Sci. 8(1:11) (2012)
3. Arrighi, P., Díaz-Caro, A., Valiron, B.: The vectorial lambda-calculus. Inf. Comput. 254(1), 105–139 (2017)
4. Arrighi, P., Dowek, G.: Lineal: a linear-algebraic lambda-calculus. Log. Methods Comput. Sci. 13(1) (2017)
5. Barr, M.: $$*$$-Autonomous categories and linear logic. Math. Struct. Comput. Sci. 1(2) (1991)