Source : Free On-Line Dictionary of Computing

Logic for Computable Functions
     
         (LCF) Part of the {Edinburgh proof assistant}.
     
        [What is it?  Address?]
     
        (1995-01-06)