Titulo:  Una extensión polimórfica para los λ-cálculos cuánticos λρ y λρ° Director:  Alejandro Díaz-Caro Jurados:  Hernán Melgratti - Andrés Viso Resumen: En 2017 Díaz-Caro presentó dos extensiones al cálculo lambda simplemente tipado que modelaban el cómputo cuántico, llamadas λρ y λρ°. La novedad de estos cálculos radica en que representan los sistemas [...]