1. Barendregt, Henk P. Studies in Logic. Volume 103: The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1984. 2nd & revised edition.
2. Curien, P-L. Combinateurs Catégoriques, Algorithmes Séquentiels et Programmation Applicative. PhD thesis, Université Paris VII, 1983.
3. Dybjer, P. Category-Theoretic Logics and Algebras of Programs. PhD thesis, Chalmers University of Technology, Sweden, 1983.
4. Friedman, H. Equality between functionals. In R. Parikh (editor), LNMath. Volume 453: Logic Colloqium, 73, pages 22–37. Springer-Verlag, 1975.
5. Halpern, Joseph Y., Albert R. Meyer, and Boris Trakhtenbrot. The semantics of local storage, or what makes the free-list free? In 11th ACM Symp. on Principles of Programming Languages, pages 245–257., 1984.