Malena Ivnisky, a student at Universidad de Buenos Aires, visits Benoît Valiron from the 12th to the 24th of November 2018. Malena is working at UBA under the direction of Alejandro Díaz-Caro and Hernán Melgratti on the study of “semantics of a fixed point operator for a quantum lambda calculus with density matrices”.