LFFP: Logical Foundations of Functional Programming

What does LFFP mean? The above is one of LFFP meanings. It may have other definitions. Please refer to the end of this passage.

LFFP: Logical Foundations of Functional Programming

Definition in English: Logical Foundations of Functional Programming