A brief introduction to type theory and the univalence axiom
Jackson Macor
Linear Programming Beyond 4.2(Simplex Method)
Heckman C.C.
Designing Games: A Guide to Engineering Experiences
Tynan Sylvester
Volatility Trading
Euan Sinclair
The Making of Late Antiquity
Peter Brown