Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
AI Game Programming Wisdom 4
Steve Rabin
Mathematical Concepts
Jürgen Jost
Programming Game AI by Example
Mat Buckland
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Euripides I: Alcestis, Medea, the Children of Heracles, Hippolytus
Euripides IV: Helen, the Phoenician Women, Orestes
Euripides III: Heracles, the Trojan Women, Iphigenia Among the ...
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Eros and Magic in the Renaissance
Ioan P. Culianu
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
Democracy in America
de Tocqueville, Alexis