Practical Foundations for Programming Languages
Robert Harper
Rust Programming by Example
Guillaume Gomez & Antoni Boucher
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Intuitionistic Type Theory
Per Martin-Lof
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)