PPLambda

0.01 sec.

(language)

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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Pozniak, Dan Pozniak, Dan Ivanovich Pozsony Pozzo di Borgo, Carlo Andrea Pozzo, Andrea dal pozzolan Pozzolan Cement Pozzolana pozzolanic pozzolona pozzuolana Pozzuoli pp junction PP reaction PP-AC PP96 PPC PPCP PPD PPD file PPGA PPGL pph PPI PPL PPLambda PPLO PPM PPML PPMW PPN PPO PPP PPPoA PPPoE PPS PPTP PQA PQFP PQRI PQS PR PR/SM pr0n Pra Pra- Pražský Hrad Prabhakaran, Velupillai Prach, Ivan practical Practical Astronomy			PPJK PPJN PPJPC PPJS PPJT PPJU PPJV PPK PPK PPKA PPKB PPKD PPKE PPKF PPKI PPKKM PPKM PPKN PPKO PPKS PPKTP PPL PPL PPL A PPLA PPLAC PPLambda PPLAN PPLATO PPLB PPLC PPLCI PPLCS PPLD PPLE PPLF PPLG PPLH PPLI Pplk Pplk PPLL PPLM PPLN PPLO PPLO PPLO PPLO PPLOC PPLP PPLPF PPLPI PPLR PPLRR PPLS

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.