DuckCorp

DuckCorp Dico

(RFC 2229 compliant dictionary server)
more options

Found one definition 

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

    
                
                  
    Logic for Computable Functions
LCF
    

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

       [What is it?  Address?]
    

       (1995-01-06)