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

Walter Ferrer wrferrer en gmail.com
Vie Oct 28 21:56:52 UYT 2016


>
>>
>>
>>
>>> ​​
>>> ​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'ia de tipos lineal dependiente.
>>>
>>>
>>> *En esta charla desarrollaremos un modelo para la teor'ia de tipos
>>> lineal dependiente bas'andonos en los trabajos de Par'e 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/20161028/d519a9c0/attachment.html>


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