Lógica(s) y Programas

Ponente(s): Lourdes Del Carmen González Huesca

En esta plática haremos un breve recorrido por las correspondencias entre lógicas y cálculos lambda, éstos últimos como formalismos para describir nociones de cómputo. El objetivo es revisar la correspondencia entre lógica lineal y un cálculo lambda con recursos donde los datos se pueden utilizar sólo un número determinado de veces, es decir los recursos o datos están restringidos.