[Todos CMAT] Seminario de álgebra y temas afines: lunes 17 de noviembre Cmat.
Walter Ferrer
wrferrer en gmail.com
Mar Nov 11 18:47:46 UYST 2014
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/20141111/10d61fd6/attachment.html>
Más información sobre la lista de distribución Todos