BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200319T110000
DTEND;TZID=America/Sao_Paulo:20200319T120000
DTSTAMP:20260612T200756
CREATED:20200312T132301Z
LAST-MODIFIED:20200312T132348Z
UID:5813-1584615600-1584619200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Lucas Rafael Romero
DESCRIPTION:Titulo:  Una extensión polimórfica para los λ-cálculos cuánticos λρ y λρ°\nDirector:  Alejandro Díaz-Caro\nJurados:  Hernán Melgratti – Andrés Viso \nResumen:\nEn 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 cuánticos mediante sus matrices de densidad asociadas haciendo que el cálculo esté más cercano a su semántica. El paper original contiene las demostraciones de las propiedades de subject reduction y progreso. En 2019 Borgna demostró en su tesis de licenciatura la normalización fuerte de los cálculos mediante una traducción al cálculo cuántico λq de Selinger y Valiron. \n\nEste trabajo apunta a extender ambos cálculos con un sistema de tipado polimórfico a la Curry\, extensión de System F\, y contextos de tipado un poco más permisivos. Sobre estas extensiones demostramos que se mantienen subject reduction y presentamos una demostración de normalización fuerte mediante candidatos de reducibilidad. También probamos que  λρ° es confluente\, y utilizando la noción de confluencia probabilística definida por Martínez en 2018\, presentamos las dificultades y posibles enfoques para lograr la confluencia de λρ.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-lucas-rafael-romero/
LOCATION:Aula 3\, Pabellón 2
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR