Marginalia
Category: History of Ideas
Inventing Socialism
A Comprehensive History of Type Theory (1900s--Present)