11 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Martín Hötzel Escardó
We introduce Voevodsky's univalent foundations and univalent mathematics, and explain how to develop them with the computer system Agda, which is based on Martin-Löf type theory. A…