Paulson, Larry "Rewriting in Cambridge LCF" UCAM-CL-TR-35 February 1983
(1983)
Languages mentioned
Cambridge LCF
{1982}
LCF
{1972} Logic for Computable Functions