Six Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
Type Theory and Functional Programming
Simon Thompson
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Something Deeply Hidden
Sean Carroll
In Search Of Schrodinger's Cat
John Gribbin