1. David A. Basin. Building theories in Nuprl. Technical Report 88-932, Cornell University, 1988.
2. David A. Basin. An environment for automated reasoning about partial functions. In 9th International Conference On Automated Deduction, pages 101–110, Argonne, Illinois, 1988.
3. Robert S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, 1979.
4. N. G. de Bruijn. A survey of the project AUTOMATH. In Essays in Combinatory Logic, Lambda Calculus, and Formalism. Academic Press, 1980.
5. W.R. Cleaveland II. Type-Theoretic Models of Concurrency. PhD thesis, Cornell, 1987.