PPLambda
<language>
essentially the first-order predicate calculus superposed upon the simply-typed polymorphic lambda-calculus. PPLambda is the object language for LCF.
["Logic and Computation: Interactive Proof with Cambridge LCF", L. Paulson, Cambridge U Press, 1987].Last updated: 1995-05-01
Nearby terms:
PPCP ♦ PPD ♦ PPGA ♦ ppi ♦ PPL ♦ PPLambda ♦ PPM ♦ PPN ♦ PPP ♦ PPPoA ♦ PPPoE ♦ P-Prolog
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
