lcf

from The Free On-line Dictionary of Computing (8 July 2008)

Logic for Computable Functions
LCF

   <language> (LCF) Part of the {Edinburgh proof assistant}.

   [What is it?  Address?]

   (1995-01-06)