Search Constraints
Filtering by:
Language
spa
Remove constraint Language: spa
Subject
Isomorfismo de Curry-Howard
Remove constraint Subject: Isomorfismo de Curry-Howard
Description: | Este trabajo tiene su punto de partida en el bien conocido teorema de Banach-Stone, que, básicamente, afirma que dos espacios compactos son homeomorfos si, y solo si, los espacios de Banach de funciones continuas a valores reales generados por ellos son isométricos. Nos preguntamos que pasaría si en lugar de... |
---|---|
Subject: | Curry-Howard isomorphism, Proof theory, Isomorfismo de Curry-Howard, Banach spaces, Functions, Continuous, Espacios de Banach, Funciones continuas, and Teoría de la demostración |
Creator: | Gary Gutiérrez, Margarita del Carmen |
Contributor: | Apetnakovich Antonyan, Sergey, Tkachuk Vladimirovich, Vladimir, Wilson Roberts, Richard Gordon, Hernández Muñoz, Salvador, Hernández García, Constancio, and Tamariz Mascarúa, Ángel |
Publisher: | Universidad Autónoma Metropolitana |
Posgrado: | Doctorado en Ciencias Matematicas |
Language: | spa |
Año de publicación: | 2016 |
Rights Statement*: | Acceso Abierto |
License: | Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0) |
Tipo de Recurso: | info:eu-repo/semantics/doctoralThesis |
Identifier: | https://doi.org/10.24275/uami.pk02c986g |