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.

Definition in English: Logical Foundations of Functional Programming