Aiello, Luigia and Weyhrauch, Richard W. "LCFsmall: an implementation of LCF." CS-TR-74-446 Department of Computer Science Stanford University, August 1974

Languages mentioned

• LCF {1972} Logic for Computable Functions