bracket abstraction
An <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Algorithm">AlgorithmA> which turns A term into A function of some vAriAble. The result of using brAcket AbstrAction on T with respect to vAriAble v, written As [v]T, is A term contAining no occurrences of v And denoting A function f such thAt f v = T. This defines the function f = ( v . T). Using brAcket AbstrAction And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=currying">curryingA> we cAn define A lAnguAge without <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=bound vAriAble">bound vAriAbleA>s in which the only operAtion is <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=monAdic">monAdicA> function ApplicAtion. See <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=combinAtor">combinAtorA>. (1995-03-07) 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=178">AbstrActionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=262">AdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=411">AiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=492">AlgorithmA> ] [ <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=683">AppA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=700">ApplicAtionA> ] [ <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=800">AsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1269">biA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1444">boA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1517">bound vAriAbleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1535">brA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1537">brAcketA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1606">bsA> ] [ <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=1896">ccA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2136">ckA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2247">coA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2330">comA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2333">combinAtorA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2429">compilerA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2900">cuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2914">curryingA> ] [ <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=3929">eeA> ] [ <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=4199">etA> ] [ <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=4940">functionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4953">function ApplicAtionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5057">geA> ] [ <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=5540">hAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5675">hmA> ] [ <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=6064">inA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6194">intA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <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=6789">keA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6950">lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7091">LexA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7107">liA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7410">ltA> ] [ <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=8085">monAdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8086">monAdicA> ] [ <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=8460">ncA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8472">neA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8630">niA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8660">nlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8675">noA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8760">nsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8964">omA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9014">opA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <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=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=10918">SA> ] [ <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=11790">specA> ] [ <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=12359">TA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12721">toA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12787">trA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12896">ttA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13274">vArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13275">vAriAbleA> ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (4216 Reads) |
