Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Orpheus and the Roots of Platonism
Algis Uždavinys
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
Mental Language: From Plato to William of Ockham
Claude Panaccio
The Medieval Craft of Memory: An Anthology of Texts and Pictures
Mary Carruthers & Jan M. Ziolkowski
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
Giordano Bruno and the Hermetic Tradition
Frances Amelia Yates