A Universe From Nothing: Why There Is Something Rather Than ...
Lawrence M. Krauss
Something Deeply Hidden
Sean Carroll
Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
Our Mathematical Universe
Max Tegmark
Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown