[Todos CMAT] seminario de Paula Severi
claudia en cmat.edu.uy
claudia en cmat.edu.uy
Jue Jul 19 22:09:25 UYT 2012
Se suspende el seminario de la Dra. Paula Severi que iba a tener lugar
hoy en el Cmat.
El mismo se llevará a cabo después del 10 de agosto, en el INCO de
Fac. de Ingeniería.
Le pido a todo el que esté interesado en asistir que responda a este
mail para poder formar una lista de participantes.
saludos
Quoting Claudia Alfonzo <claudia en cmat.edu.uy>:
>
>
> 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
>
--
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy
Más información sobre la lista de distribución Todos