Intuitionistic Type Theory
Per Martin-Lof
Giovanni Sambin, Per Martin-Lof
A brief introduction to type theory and the univalence axiom
Jackson Macor
Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman