[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