Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
Planned Chaos
Ludwig Von Mises
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper