1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science, pp. 249–258. IEEE Computer Society (2005)
2. Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. In: QPL05, (2005). ENTCS
3. Arrighi, P., Diaz-Caro, A.: A system F accounting for scalars. Logical methods in computer science 8(1), (Feb 2012)
4. Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In: Voronkov, A. (ed.) RTA, Lecture Notes in Computer Science, vol. 5117, pp. 17–31. Springer, (2008)
5. Aschieri, F., Zorzi, M.: Non-determinism, non-termination and the strong normalization of system T. In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, 26–28 June 2013. Proceedings, Lecture Notes in Computer Science, vol. 7941 , pp. 31–47 (2013)