Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Euler The Master of Us All
William Dunham
Real-Time C++ Efficient Object-Oriented & Template Microcontroller ...
Christopher Michael Kormanyos
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell