Paulson, Larry "Recent developments in LCF: examples of structural induction" January 1983 UCAM-CL-TR-34
(1983)
Languages mentioned
Cambridge LCF
{1982}
LCF
{1972} Logic for Computable Functions