A brief introduction to type theory and the univalence axiom
Jackson Macor
Plato's Parmenides
Plato
70447-Article Text-196704-1-10-[..]
Amy
Engineering a Compiler
Keith D. Cooper & Linda Torczon
Great Transformations: Economic Ideas and Institutional Change ...
Mark Blyth
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek