The Essential Cantong qi
Golden Elixir Press
A brief introduction to type theory and the univalence axiom
Jackson Macor
Organized Mind : Thinking Straight in the Age of Information ...
Levitin, Daniel J.
Game Programming Gems 8
Adam Lake
Platform
Cynthia Johnson