Working Notes
An evolving library of study notes, reading guides, translations, and references. These are organized by subject rather than publication date.
Mathematics
Linear algebra, analysis, probability, statistics, and related foundations.
Programming Languages / Type Theory
Semantics, macro systems, implementation models, and language design notes.
Logic / Category Theory
Proof theory, constructive logic, categorical methods, and HoTT.
Selected Supplementary Materials
Reference documents directly related to programming-language study.