Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
Type Theory and Functional Programming
Simon Thompson
Types and Programming Languages
Benjamin C. Pierce
Structure and Interpretation of Computer P
Harold Abelson