meaning of ppl

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


Related Words

pplambda | pplo |

Developed & Maintained By Taraprasad.com

Treasure Words