Hidden Hand
Clive Hamilton & Mareike Ohlberg
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge