1. Explicit substitution;Abadi,1990
2. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
3. Introduction to Mathematical Logic;Church,1956
4. Making variables abstract: an equational theory for Russell;Demers,1983
5. The calculi of lambda-υ-CS-conversion: a syntactic theory of control and state in imperative higher-order programming languages;Felleisen,1987