Paulson, Lawrence "Lessons learned from LCF" UCAM-CL-TR-54 August 1984
(1984)
Languages mentioned
Cambridge LCF
{1982}
LCF
{1972} Logic for Computable Functions