Marginalia
Tag: Foundations
Category Theory: Origins, Invention, and Early Reception (1935-1965)
A Comprehensive History of Type Theory (1900s--Present)