El lunes 28/09/26 tendremos la 10a sesión del Seminario 2026, con la presentación de Nicolás Monzón
Título: Un cálculo lambda de control cuántico con múltiples bases de medición
Lugar: sala de seminarios del INCO
Fecha y hora: Lunes 28/09/2026, 16hs.
Resúmen: Nicolás Monzón presentará Lambda-SX, un cálculo lambda cuántico tipado que admite múltiples bases de medición. Al rastrear la duplicabilidad con respecto a bases arbitrarias dentro del sistema de tipos, Lambda-SX permite un control más flexible y un razonamiento composicional sobre las mediciones. Formalizamos su sintaxis, reglas de tipado, subtipado y semántica operacional, y establecemos sus principales propiedades metateóricas. Esta prueba de concepto demuestra que el soporte para múltiples bases puede integrarse de manera coherente en la disciplina de tipos de los lenguajes de programación cuántica.
Más información en la página del Seminario del Instituto de Computación