Daniel R. Grayson

Daniel R. Grayson

Professor of Mathematics Emeritus, University of Illinois at Urbana-Champaign
Email verificata su math.uiuc.edu
Citato da 6756
algebraic K-theory motivic cohomology mathematical software univalent foundations homotopy type theory
Martín Hötzel Escardó

Martín Hötzel Escardó

Professor of Theoretical Computer Science, University of Birmingham,UK
Email verificata su bham.ac.uk
Citato da 2557
homotopy type theory univalent foundations topology domain theory constructive mathematics
Nicolai Kraus

Nicolai Kraus

University of Nottingham
Email verificata su nottingham.ac.uk
Citato da 894
Homotopy Type Theory Univalent Foundations Type Theory Category Theory Higher-Dimensional Category Theory
Benedikt Ahrens

Benedikt Ahrens

Delft University of Technology
Email verificata su tudelft.nl
Citato da 810
Syntax and semantics of programming … Univalent Foundations Computer theorem proving
The Univalent Foundations Project

The Univalent Foundations Project

https://homotopytypetheory.org/book/
Citato da 128
Univalent foundations homotopy type theory
Tom de Jong

Tom de Jong

Research Fellow, School of Computer Science, University of Nottingham
Email verificata su nottingham.ac.uk
Citato da 68
homotopy type theory univalent foundations constructive mathematics domain theory realizability
Ayberk Tosun

Ayberk Tosun

University of Birmingham
Email verificata su pgr.bham.ac.uk
Citato da 16
type theory univalent foundations univalent type theory locale theory pointfree topology