Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Maps of meaning| The Architecture of belief
Jordan B. Peterson
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Ways that are Dark: The Truth about China
Ralph Townsend
Platform
Cynthia Johnson