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].

< Previous Terms	Terms Containing PPLambda	Next Terms >
PPC PPCP PPD PPGA PPL	PPLambda	PPM PPN PPP P-Prolog PPTP