Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The histories of Herodotus
Herodotus
Euripides III: Heracles, the Trojan Women, Iphigenia Among the ...
Euripides
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Theology Of Plato
Thomas Taylor