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

[Walter Ferrer]

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>