Paulson, Lawrence "The revised logic PPLAMBDA: A reference manual" UCAM-CL-TR-36 March 1983

Languages mentioned

• Cambridge LCF {1982}
• LCF {1972} Logic for Computable Functions