Use el DOI o este identificador para enlazar este recurso:
http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000754420| Autor: | Domínguez Sánchez, Jesús Héctor |
| Asesor(es) : | Miranda Perea, Favio Ezequiel |
| Título : | Inductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski construction |
| Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
| Fecha de publicación : | 2017 |
| URI : | http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000754420 |
| URL: | https://tesiunamdocumentos.dgb.unam.mx/ptd2017/enero/0754420/Index.html |
| Páginas: | 1 recurso en línea (226 páginas) |
| Grado : | Maestría en Ciencias (Matemáticas) |
| Escuela o Facultad : | Programa de Posgrado en Ciencias Matemáticas |
| Aparece en las colecciones: | Tesis de Maestría |
Texto completo:
| Archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 0754420.pdf | Texto Completo | 1.96 MB | Adobe PDF |  Visualizar/Abrir |
| 0754420_A2.zip | Material Complementario | 53.17 kB | Unknown | Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons
