[Todos CMAT] seminario de Paula Severi

[Claudia Alfonzo]

Hola a todos,

les recuerdo el seminario de la Dra. Paula Severi, "Principio de 
corecursión alfa para el Cálculo Lambda Infinitario", que se realizará el 
jueves 19 de julio, a las 18 hs., en el salón de seminarios del piso 14.



Titulo:
Principio de corecursion alfa para el Calculo Lambda Infinitario

Resumen:
La equivalencia alfa identifica terminos que difieren
en las variables ligadas.
En el calculo lambda, se trabaja usualmente con representantes
de esta equivalencia. Sin embargo, trabajar con representantes
de esta equivalencia no es conveniente cuando se quieren
automatizar (o escribir en forma muy detallada)   las   demostraciones
de resultados del calculo lambda.
Gabbay y Pitts introdujeron la nocion de conjunto nominal (conjunto
con una accion sobre el conjunto de permutaciones de las variables)
y demostraron que el conjunto de las clases de equivalencia alfa
de  terminos del calculo lambda se puede obtener como el algebra
inicial de un cierto functor en la categoria de conjuntos nominales.
En este articulo, demostramos que el conjunto de clases de equivalencia de
terminos del calculo lambda infinitario se puede obtener como
la coalgebra final del mismo functor.


Trabajo conjunto con
Alexander Kurz, Daniela Petri\c{s}an, y Fer-Jan de Vries
del Departamento de Computacion de la Universidad de Leicester
Reino Unido.
--
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy




----- End forwarded message -----

--
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy