Jacek Leszczylowski "An Experiment with Edinburgh LCF", 5th Conference on Automated Deduction, Les Arcs, France, LNCS 87, 1980
(1980)
Languages mentioned
Edinburgh LCF
{1979}
LCF
{1972} Logic for Computable Functions