Online dictionary - over 2 million references

    Online Dictionary
          Chinese to English
          English
                to Chinese
                to French
                to German
                to Italian
                to Japanese
                to Latin
                to Russian
                to Spanish
                to Swedish
          French to English
          German
                to English
                to Japanese
          Italian to English
          Japanese
                to English
                to German
          Latin to English
          Russian to English
          Spanish to English
          Swedish to English

If you can't find the translation you need, try our free translation











Online dictionary - over 2 million references
 






1. de Bruijn lambda 记法的记法A变异为指定使用数字起作用而不是名字提到形参。 在形参的参考是给的lambdas书面的数字和\这里在参考和lambda之间束缚参量的数字。 即作用\ f. \ x. f x将被写\。 \。 1 0。 0提到最内在的lambda， 1对下等。 这个记法的首要好处是它避免命名捕获的可能性并且取消对Al转换的需要。 [N.G. De Bruijn， “Lambda微积分记法与无名的钝汉： 为自动惯例操作的一个工具，以在教会Rosser定理的应用”， Indag算术。 34，页381-392]。

ABCDEFGHIJKLMNOPQRSTUVWXYZ

2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.