搜索条件

清除过滤
过滤: Contributor sim Tamariz Mascarúa, Ángel 删除限定条件 Contributor sim: Tamariz Mascarúa, Ángel 学科 Curry-Howard isomorphism 删除限定条件 学科: Curry-Howard isomorphism
每页显示结果数
以如下方式察看搜索结果:
列表 Gallery Masonry Slideshow

搜索结果

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

    3t945q861?file=thumbnail
    描述: 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...
    学科: 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
    创造者: Gary Gutiérrez, Margarita del Carmen
    贡献者: 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
    出版者: Universidad Autónoma Metropolitana
    Posgrado: Doctorado en Ciencias Matematicas
    语言: spa
    Año de publicación: 2016
    权: Acceso Abierto
    执照: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/doctoralThesis
    识别码: https://doi.org/10.24275/uami.pk02c986g