Index Catalog // UAM

Filter löschen

Filtern nach: Fach Curry-Howard isomorphism

Liste Gallery Masonry Slideshow

3t945q861?file=thumbnail

1. Representación de isomorfismos entre espacios de funciones continuas

Beschreibung:: 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...
Fach:: 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
Schöpfer:: Gary Gutiérrez, Margarita del Carmen
Mitwirkender:: 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
Herausgeber:: Universidad Autónoma Metropolitana
Posgrado:: Doctorado en Ciencias Matematicas
Sprache:: spa
Año de publicación:: 2016
Rechte:: Acceso Abierto
Lizenz:: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:: info:eu-repo/semantics/doctoralThesis
Identifikator:: https://doi.org/10.24275/uami.pk02c986g