'LCF' definitions:

Acronyms for 'LCF'

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