1. Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.
2. Michael Dummett. Elements of Intuitionism. Clarendon Press, Oxford, 1977.
3. Conal Elliott and Frank Pfenning. eLP, a Common Lisp Implementation of λProlog. May 1989.
4. Amy Felty. Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language. PhD thesis, University of Pennsylvania, August 1989.
5. Amy Felty and Dale Miller. Specifying theorem provers in a higher-order logic programming language. In Ninth International Conference on Automated Deduction, Argonne Ill., May 1988.