Language Implementation Patterns
Terence Parr
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Principles
Ray Dalio
Pressed for Time The Acceleration of Life in Digital Capitalism
Judy Wajcman
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole