Chu Rivera, Fernando Rafael(Universidad Nacional Mayor de San Marcos, 2023)
Acceso abierto
Explica 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 ...