A brief introduction to type theory and the univalence axiom
Jackson Macor
Platform
Cynthia Johnson
Stand on Zanzibar
John Brunner
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
BEING AND TIME
Heidegger
