Pplambda

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  PPLambda
       
           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].
       
          (1995-05-01)