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 |
