• Calendario

    Real

    • Ju 29/Mar: TLC. Hasta la intro a tipos dependientes.
    • Ju 5/Abr: FERIADO
    • Ju 12/Abr: Tipos dependientes. Intro a Deducción Natural

     

    Proyectado

    Marzo
    Ma 27TPresentación de la materia. Lambda cálculo tipado I.
    Ju 29TLambda cálculo tipado II (Normalisación).
    Abril
    Ma 3PPráctica
    Ju 5 FERIADO
    Ma 10TDeducción Natural I.
    Ju 12TDeducción Natural II (Normalisación).
    Ma 17PPráctica
    Ju 19TCálculo de Secuentes I (Intro; Relación entre DN y CS).
    Ma 24TCálculo de Secuentes II (Eliminación de corte).
    Ju 26PPráctica

     

    Mayo
    Ma 1 FERIADO
    Ju 3TIsomorfismo de Curry-De Bruijn-Howard para lógica intuicionista.
    Ma 8PPráctica
    Ju 10TEstrategias call-by-name y call-by-value. Continuaciones. Equivalencia via conversión Continuation-Passing-Style.
    Ma 15PPráctica
    Ju 17TOperadores de control.
    Ma 22PPráctica
    Ju 24TIsomorfismo de Curry-De Bruijn-Howard para lógica clásica.
    Ma 29PPráctica
    Ju 31TLógica lineal I.
    Junio
    Ma 5 Práctica
    Ju 7TLógica lineal II.
    Ma 12 Práctica
    Ju 13TIsomorfismo de Curry-De Bruijn-Howard para lógica lineal.
    Ma 19 Práctica
    Ju 21 Consultas
    Ma 26 Consultas
    Ju 28 PARCIAL
    Julio
    Ma 3 Sin clases
    Ju 5 PRESENTACIÓN DE PAPERS