Daniel R. Grayson

Daniel R. Grayson

Professor of Mathematics Emeritus, University of Illinois at Urbana-Champaign
Verified email at math.uiuc.edu
Cited by 6622
algebraic K-theory motivic cohomology mathematical software univalent foundations homotopy type theory
Emily Riehl

Emily Riehl

Johns Hopkins University
Verified email at jhu.edu
Cited by 3067
category theory homotopy theory homotopy type theory
Martín Hötzel Escardó

Martín Hötzel Escardó

Professor of Theoretical Computer Science, University of Birmingham,UK
Verified email at cs.bham.ac.uk
Cited by 2518
homotopy type theory univalent foundations topology domain theory constructive mathematics
Dan Christensen

Dan Christensen

Professor of Mathematics, University of Western Ontario
Verified email at uwo.ca
Cited by 1545
Algebraic Topology Homotopy Type Theory Representation Theory Quantum Gravity
Floris van Doorn

Floris van Doorn

University of Paris-Saclay
Verified email at universite-paris-saclay.fr
Cited by 1017
Lean Interactive Theorem Proving Type Theory Homotopy Type Theory
Nicolai Kraus

Nicolai Kraus

University of Nottingham
Verified email at nottingham.ac.uk
Cited by 864
Homotopy Type Theory Univalent Foundations Type Theory Category Theory Higher-Dimensional Category Theory
Andrea Vezzosi

Andrea Vezzosi

Postdoc, IT University Copenhagen
Verified email at itu.dk
Cited by 509
computer science dependent type theory homotopy type theory
Egbert Rijke

Egbert Rijke

Postdoc in Mathematics, University of Ljubljana
Verified email at fmf.uni-lj.si
Cited by 499
homotopy type theory formalization of mathematics higher category theory
Paolo Capriotti

Paolo Capriotti

Postdoc, Technische Universität Darmstadt
Verified email at mathematik.tu-darmstadt.de
Cited by 415
Homotopy Type Theory
Guillaume Brunerie

Guillaume Brunerie

Cited by 353
Homotopy type theory
1 - 10