The Free On-line Dictionary of Computing (30 December 2018):

Logic for Computable Functions
LCF

    (LCF) Part of the Edinburgh proof assistant.

   [What is it?  Address?]

   (1995-01-06)