CUFinder

Martín Hötzel Escardó

About Martín Hötzel Escardó

Martín Hötzel Escardó, With an exceptional h-index of 28 and a recent h-index of 15 (since 2020), a distinguished researcher at University of Birmingham, specializes in the field of homotopy type theory, univalent foundations, topology, domain theory, constructive mathematics.

His recent articles reflect a diverse array of research interests and contributions to the field:

The Patch Topology in Univalent Foundations

Higher-order games with dependent types

On small types in univalent foundations

Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T

Patch locale of a spectral locale in univalent type theory

Domain theory in constructive and predicative univalent foundations

Categories of compact and compactly generated Hausdorff locales over a base topos

Type theory with explicit universe polymorphism

Martín Hötzel Escardó Information

University

Position

Professor of Theoretical Computer Science UK

Citations(all)

2409

Citations(since 2020)

658

Cited By

2013

hIndex(all)

28

hIndex(since 2020)

15

i10Index(all)

51

i10Index(since 2020)

22

Email

University Profile Page

Google Scholar

Martín Hötzel Escardó Skills & Research Interests

homotopy type theory

univalent foundations

topology

domain theory

constructive mathematics

Top articles of Martín Hötzel Escardó

The Patch Topology in Univalent Foundations

arXiv preprint arXiv:2402.03134

2024/2/5

Igor Arrieta
Igor Arrieta

H-Index: 1

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Ayberk Tosun
Ayberk Tosun

H-Index: 1

Higher-order games with dependent types

Theoretical Computer Science

2023/9/29

Paulo Oliva
Paulo Oliva

H-Index: 12

On small types in univalent foundations

Logical Methods in Computer Science

2023/5/4

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T

arXiv preprint arXiv:2303.11075

2023/3/16

Patch locale of a spectral locale in univalent type theory

Electronic Notes in Theoretical Informatics and Computer Science

2023/2/22

Ayberk Tosun
Ayberk Tosun

H-Index: 1

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Domain theory in constructive and predicative univalent foundations

arXiv preprint arXiv:2301.12405

2023/1/29

Categories of compact and compactly generated Hausdorff locales over a base topos

2022/12/28

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Type theory with explicit universe polymorphism

arXiv preprint arXiv:2212.03284

2022/12/6

Peter Dybjer
Peter Dybjer

H-Index: 17

Type Theories with Universe Level Judgments

CoRR

2022

Peter Dybjer
Peter Dybjer

H-Index: 17

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2021/1

Bartek Klin
Bartek Klin

H-Index: 13

Samson Abramsky
Samson Abramsky

H-Index: 29

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Wan Fokkink
Wan Fokkink

H-Index: 15

Bas Luttik
Bas Luttik

H-Index: 10

Paweł Parys
Paweł Parys

H-Index: 11

Nicole Schweikardt
Nicole Schweikardt

H-Index: 13

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Anuj Dawar
Anuj Dawar

H-Index: 17

Yannick Forster
Yannick Forster

H-Index: 11

Merlin Göttlinger
Merlin Göttlinger

H-Index: 2

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Takeshi Tsukada
Takeshi Tsukada

H-Index: 9

Naoki Kobayashi
Naoki Kobayashi

H-Index: 7

Jules Hedges
Jules Hedges

H-Index: 7

Paweł Sobociński
Paweł Sobociński

H-Index: 2

Long Pham
Long Pham

H-Index: 1

Jan Hoffmann
Jan Hoffmann

H-Index: 22

Alexander Rabinovich
Alexander Rabinovich

H-Index: 17

Injective types in univalent mathematics

Mathematical Structures in Computer Science

2021/1

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

On generalized algebraic theories and categories with families

Mathematical Structures in Computer Science

2021/10

Peter Dybjer
Peter Dybjer

H-Index: 17

The Cantor–Schröder–Bernstein Theorem for -groupoids

Journal of Homotopy and Related Structures

2021/9

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Predicative aspects of order theory in univalent foundations

arXiv preprint arXiv:2102.08812

2021/2/17

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

A Note on Generalized Algebraic Theories and Categories with Families

arXiv preprint arXiv:2012.08370

2020/12/15

Peter Dybjer
Peter Dybjer

H-Index: 17

The Cantor-Schr\"oder-Bernstein Theorem for -groupoids

arXiv preprint arXiv:2002.07079

2020/2/13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Intersections of compactly many open sets are open

arXiv preprint arXiv:2001.06050

2020/1/16

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

See List of Professors in Martín Hötzel Escardó University(University of Birmingham)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine