Advanced Topics in Types and Programming Languages
Benjamin C. Pierce
Type Theory and Formal Proof
Rob Nederpelt & Herman Geuvers
Structure and Interpretation of Computer P
Harold Abelson
An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
Type Theory and Functional Programming
Simon Thompson