Listar Maestría Facultad de Ciencias Matemáticas por asesor "Coripaco Huarcaya, Jorge Alberto"
Mostrando ítems 1-1 de 1
-
Teoría homotópica de tipos
(Universidad Nacional Mayor de San Marcos, 2023)Acceso abiertoExplica la teoría homotópica de tipos que uniformiza los conceptos de proposiciones y de conjuntos en uno solo más general, el de “tipos”. El estudio desarrolla las nociones principales de esta teoría e identifica que ...