( en | de | ru )

 

Disambiguierung von "Escardó, Martín Hötzel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The intrinsic topology of Martin-Löf universes.

, und . Ann. Pure Appl. Log., 167 (9): 794-805 (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jörn Martin Hötzel

Joachim Hötzel

Yvonne Hötzel

Alexander Hötzel

Dieter Hötzel

 

Weitere Publikationen von Autoren mit dem selben Namen

Hausdorff compactifications of topological function spaces via the theory of continuous lattices.. MFCSIT, Volume 40 von Electronic Notes in Theoretical Computer Science, Seite 161. Elsevier, (2000)Domain Theory in Constructive and Predicative Univalent Foundations., und . CSL, Volume 183 von LIPIcs, Seite 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Partial Elements and Recursion via Dominances in Univalent Type Theory., und . CSL, Volume 82 von LIPIcs, Seite 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Abstract Datatypes for Real Numbers in Type Theory., und . RTA-TLCA, Volume 8560 von Lecture Notes in Computer Science, Seite 208-223. Springer, (2014)The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces., , und . TAMC, Volume 3959 von Lecture Notes in Computer Science, Seite 566-575. Springer, (2006)Continuity of Gödel's System T Definable Functionals via Effectful Forcing.. MFPS, Volume 298 von Electronic Notes in Theoretical Computer Science, Seite 119-141. Elsevier, (2013)Recursion and Induction on the Real Line.. Theory and Formal Methods, Seite 259-282. Imperial College Press, (1994)Computability of Continuous Solutions of Higher-Type Equations.. CiE, Volume 5635 von Lecture Notes in Computer Science, Seite 188-197. Springer, (2009)The Peirce translation., und . Ann. Pure Appl. Log., 163 (6): 681-692 (2012)Operational domain theory and topology of sequential programming languages., und . Inf. Comput., 207 (3): 411-437 (2009)