Try Our Apps
Dictionary.com

follow Dictionary.com

The Word of the Year is...

pplambda

pplambda in Technology

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

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for pplambda

0
0
Scrabble Words With Friends

Nearby words for pplambda