A brief introduction to type theory and the univalence axiom
Jackson Macor
Built to Last
Jim Collins
Pragmatism, a New Name for Some Old Ways of Thinking
William James
Newton's Principia : the mathematical principles of natural ...
Newton, Isaac, Sir, 1642-1727
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson