The Free On-line Dictionary of Computing (19 January 2023):

Logic for Computable Functions
LCF

    (LCF) Part of the Edinburgh proof assistant.

   [What is it?  Address?]

   (1995-01-06)