( en | de | ru )

 

Disambiguation of "Escardó, Martín Hötzel"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Datatypes for Real Numbers in Type Theory.

, and . RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, page 208-223. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jörn Martin Hötzel

Alexander Hötzel

Yvonne Hötzel

Dieter Hötzel

Dieter Hötzel

 

Other publications of authors with the same name

Preface., , and . Theor. Comput. Sci., 294 (1/2): 1 (2003)Hausdorff compactifications of topological function spaces via the theory of continuous lattices.. MFCSIT, volume 40 of Electronic Notes in Theoretical Computer Science, page 161. Elsevier, (2000)Preface., and . Workshop on Domains, volume 73 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2002)Domain Theory in Constructive and Predicative Univalent Foundations., and . CSL, volume 183 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Abstract Datatypes for Real Numbers in Type Theory., and . RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, page 208-223. Springer, (2014)Exhaustible Sets in Higher-type Computation.. Logical Methods in Computer Science, (2008)Partial Elements and Recursion via Dominances in Univalent Type Theory., and . CSL, volume 82 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Compactly generated Hausdorff locales.. Ann. Pure Appl. Log., 137 (1-3): 147-163 (2006)The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces., , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 566-575. Springer, (2006)Continuity of Gödel's System T Definable Functionals via Effectful Forcing.. MFPS, volume 298 of Electronic Notes in Theoretical Computer Science, page 119-141. Elsevier, (2013)