[Todos CMAT] Seminario de álgebra y temas afines: lunes 17 de noviembre Cmat.

Walter Ferrer wrferrer en gmail.com
Lun Nov 17 04:42:12 UYST 2014


2014-11-11 18:47 GMT-02:00 Walter Ferrer <wrferrer en gmail.com>:

> Seminario de álgebra y temas afines
>
>> Centro de Matemática
>
> Salón de Seminarios del Piso 14
> Lunes
> ​​1
> ​7​
> de
> ​noviembre​
> , 2014
> hora 14:30/16
> Titulo: ​
> ​Modelos de la lógica lineal en la perspectiva de la teoría de coálgebras.​
>
> Expositor:
> ​Octavio Malherbe​
>
>
>> "En esta charla hablaremos sobre la construcción de modelos de la lógica
> lineal de segundo orden considerando el fragmento intuicionista aumentado
> con la cuantificación universal (Girard - Reynolds). Propuestas de modelos
> para el Cálculo Lambda que genera ya han sido consideradas en el pasado por
> Coquand, Gunter, Winskel (1989) y más recientemente por Maneggia (2004),
> entre otros. Proponemos abordar el problema desde la perspectiva de la
> noción de Familias Parametrizadas por Coalgebras (Grunenfelder - Paré).
> Trabajo en conjunto con M. Haim."​
>
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20141117/98cc9fee/attachment.html>


Más información sobre la lista de distribución Todos