Computer Science
Automation and Computer Engineering
operating-systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseauThe Lambda Calculus: Its Syntax and Semantics: v. 103
H.P. BarendregtComputer ScienceMathematical LogicMathematicsFunctional Programming
Structure and Interpretation of Computer Programs, second edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman