Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Road To Serfdom
F. A. Hayek
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Iamblichi Chalcidensis in Platonis Dialogos Commentariorum Fragmenta
John M. Dillon
Secret of the Golden Flower
Cleary, Thomas (tr)