'LCF' definitions:

Acronyms for 'lcf'

From: V.E.R.A.
  • Logic of Computable Functions