Paulson, Lawrence "Tactics and tacticals in Cambridge LCF" Technical Report UCAM-CL-TR-39 July 1983
(1983)
Languages mentioned
Cambridge LCF
{1982}
LCF
{1972} Logic for Computable Functions