e/Programming language for Computable Functions

Information
has gloss	eng: The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of modern typed functional languages such as ML.
lexicalization	eng: Programming language for Computable Functions
instance of	c/Functional languages