[Todos CMAT] Seminario ​ de álgebra y temas afines Cmat.

[Walter Ferrer]

​Seminario ​
de álgebra y temas afines
Centro de Matemática: Sala de seminarios del piso 14
Hora: 14.30/15.30
​
​
Día Lunes
​
​   ​31 de octubre de 2016​
​​Expositor​: Octavio Malherbe

​

T'itulo: Un modelo para la teoría de tipos lineal dependiente.


*En esta charla desarrollaremos un modelo para la teoría de tipos lineal
dependiente basándonos en los trabajos de Paré y Grunenfelder. sobre
categorias indexadas por coalgebras. (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/20161030/6f9a35a8/attachment.html>