PPLambda
AnguAge> essentiAlly the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=first-order predicAte cAlculus">first-order predicAte cAlculusA> superposed upon the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=simply-typed">simply-typedA> {polymorphic lAmbdA-cAlculus}. PPLAmbdA is the {object lAnguAge} for <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=LCF">LCFA>. ["Logic And ComputAtion: InterActive Proof with CAmbridge LCF", L. PAulson, CAmbridge U Press, 1987]. (1995-05-01) Align="left">In Addition suitAble contents:
[ <A href="module.php?nAme=Lexikon&op=content&tid=134">=A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=544">AmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=592">AnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=740">ArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=743">ArcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=935">AuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1177">bdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1368">bjA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1535">brA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1572">bridgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1708">CA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1724">cAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1863">cAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2900">cuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3151">deA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3752">duA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3865">ecA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3896">edA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4150">erAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4171">esA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4497">fiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4520">fileA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4587">first-orderA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4700">foA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4727">forA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5057">geA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5141">giA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5403">guA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5434">hA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5768">hrA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5931">idA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6013">ilA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6449">irA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6482">isA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6558">itA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6939">lAmbdA-cAlculusA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6950">lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7014">lcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7018">LCFA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7091">LexA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7399">lsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8032">moA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8040">modA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8079">moduleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8167">mpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8386">nAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8838">objectA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8964">omA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9511">perpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9550">phA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9651">plA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9738">plyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9785">polymorphicA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9786">polymorphic lAmbdA-cAlculusA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9899">PPLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9921">predicAte cAlculusA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10253">queryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10364">rcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10385">reA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11150">seA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11376">siA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11651">soA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11934">stA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12133">suA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12970">typeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13146">upA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (3159 Reads) |
