Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Language Implementation Patterns
Terence Parr
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair
Philosophy and Theurgy in Late Antiquity
Algis Uzdavinys & John F. Finamore
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
