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

Try this search on Wikipedia, OneLook, Google

Nearby terms: PPGA « ppi « PPL « PPLambda » PPM » PPN » PPP


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.