Paulson, LC "Lessons learned from LCF: a survey of natural deduction proofs" pp474-479
(1985)
(1985)
The Computer Journal 28(5) 1985
Languages mentioned
Cambridge LCF
{1982}
LCF
{1972} Logic for Computable Functions
ML
{1973} Meta Language
PPLambda
{1987}