BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20200504T171000
DTEND;TZID=America/Sao_Paulo:20200504T181000
DTSTAMP:20260522T073953
CREATED:20200428T142613Z
LAST-MODIFIED:20200428T142613Z
UID:5854-1588612200-1588615800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Francisco Noriega
DESCRIPTION:Título: «The Vectorial Lambda Calculus Revisited»\nDirector:  Alejandro Díaz-Caro\nJurados:\n    Hernán Melgratti (UBA)\n    Pablo Barenbaum (UBA)\n    Pablo Arrighi (Aix-Marseille Université).\nDía y hora: Lunes 4 de Mayo. 17:10hs\nLugar: Aula Zoom: dc.aula09\n \nResumen:\n\nWe revisit the Vectorial λ-Calculus\, a system that provides a way to model a vector space of terms by extending the classic terms of the λ-calculus with linear combination of them; and by introducing a type system on top. The system can be summarized by the slogan «If Γ ⊢ t : T and Γ ⊢ r : R then Γ ⊢ α · t + β · r : α · T + β · R». \nHowever\, the type system in Vectorial only provides a weakened version of the Subject Reduction property. We prove that our revised Vectorial λ-Calculus supports the standard version of said property as well as many others in the original system\, such as Progress. We also introduce the concept of weight of types and terms\, and a new property relating the weight of a term with the weight of its type.M
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-francisco-noriega/
LOCATION:ZOOM
END:VEVENT
END:VCALENDAR