Eventos

Título: Una Extensión Composicional de λρ° mediante Descomposición de Pauli Director: Alejandro Díaz-Caro Jurados: Rafael Romero                 Romain Péchoux Resumen: Extendemos el cálculo lambda cuántico λρ°, un cálculo que manipula matrices de densidad con control probabilístico, con un operador let. El cálculo [...]