Gordon M.J.C. "From LCF to HOL: A Short History" in Plotkin, Stirling and Tofte (eds) Proof, Language, and Interaction: Essays in the Honor of Robin Milner

Languages mentioned

• HOL {1985} Higher Order Logic