lcf

1 definition found

lcf - Free On-line Dictionary of Computing (26 May 2007) :

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