Alejandro Díaz-Caro will present a joint work done with Gilles Dowek, entitled “Typing quantum superpositions and measurement” at the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), in Prague, Czech Republic, December 18-20, 2017.