. . . "El c\u00E1lculo lambda simplemente tipado es una teor\u00EDa de tipos basada en el c\u00E1lculo de lambda con un \u00FAnico , , que construye . Es el ejemplo can\u00F3nico y m\u00E1s sencillo de un c\u00E1lculo lambda tipado. El c\u00E1lculo lambda simplemente tipado fue originalmente introducido por Alonzo Church en el 1940 como un intento de evitar la aparici\u00F3n de paradojas en el c\u00E1lculo lambda sin tipos. El t\u00E9rmino simplemente tipado es tambi\u00E9n utilizado para referirse a extensiones del c\u00E1lculo lambda simplemente tipado con productos, coproductos, n\u00FAmeros naturales o incluso recursi\u00F3n (como en el lenguaje PCF). En contraste, los sistemas que introducen tipos polim\u00F3rficos (como ) o (como el ) no se consideran simplemente tipados. Los primeros, excepto aquellos que implementan recursi\u00F3n arbitraria, se consideran todav\u00EDa simplemente tipados porque la de estas estructuras puede hacerse utilizando solamente y variables de tipo, mientras que el polimorfismo y la dependencia no pueden expresarse de esta forma."@es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "29326"^^ . . . . . "\u041F\u0440\u043E\u0441\u0442\u043E \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 (\u043F\u0440\u043E\u0441\u0442\u043E\u0435 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435, \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0441 \u043F\u0440\u043E\u0441\u0442\u044B\u043C\u0438 \u0442\u0438\u043F\u0430\u043C\u0438, \u0441\u0438\u0441\u0442\u0435\u043C\u0430 ) \u2014 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0433\u043E \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F, \u0432 \u043A\u043E\u0442\u043E\u0440\u043E\u0439 \u043B\u044F\u043C\u0431\u0434\u0430-\u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0446\u0438\u0438 \u043F\u0440\u0438\u043F\u0438\u0441\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u00AB\u0441\u0442\u0440\u0435\u043B\u043E\u0447\u043D\u044B\u0439\u00BB \u0442\u0438\u043F. \u042D\u0442\u0430 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0431\u044B\u043B\u0430 \u043F\u0440\u0435\u0434\u043B\u043E\u0436\u0435\u043D\u0430 \u0410\u043B\u043E\u043D\u0437\u043E \u0427\u0451\u0440\u0447\u0435\u043C \u0432 1940 \u0433\u043E\u0434\u0443. \u0414\u043B\u044F \u0431\u043B\u0438\u0437\u043A\u043E\u0433\u043E \u043A \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044E \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043C\u0430 \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u043E\u0445\u043E\u0436\u0430\u044F \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u043B\u0430\u0441\u044C \u0425\u0430\u0441\u043A\u0435\u043B\u043B\u043E\u043C \u041A\u0430\u0440\u0440\u0438 \u0432 1934 \u0433\u043E\u0434\u0443."@ru . . . . . "C\u00E1lculo lambda simplesmente tipado"@pt . . . . . . . . . "\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u662F\u8FDE\u63A5\u8BCD\u53EA\u6709 (\u51FD\u6570\u7C7B\u578B)\u7684\u6709\u7C7B\u578B lambda \u6F14\u7B97\u3002\u8FD9\u4F7F\u5B83\u6210\u4E3A\u89C4\u8303\u7684\u3001\u5728\u5F88\u591A\u65B9\u9762\u662F\u6700\u7B80\u5355\u7684\u6709\u7C7B\u578B lambda \u6F14\u7B97\u7684\u4F8B\u5B50\u3002 \u7B80\u5355\u7C7B\u578B\u4E5F\u88AB\u7528\u6765\u79F0\u547C\u5BF9\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u7684\u6269\u5C55\u6BD4\u5982\u79EF\u3001\u6216\u81EA\u7136\u6570(\u7CFB\u7EDF T)\u751A\u81F3\u5B8C\u5168\u7684\u9012\u5F52(\u5982)\u3002\u76F8\u53CD\u7684\uFF0C\u4ECB\u5165\u4E86\u591A\u6001\u7C7B\u578B(\u5982\u7CFB\u7EDFF)\u6216\u4F9D\u8D56\u7C7B\u578B(\u5982\u903B\u8F91\u6846\u67B6)\u7684\u7CFB\u7EDF\u4E0D\u88AB\u5F53\u4F5C\u662F\u7B80\u5355\u7C7B\u578B\u3002\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u6700\u521D\u7531\u963F\u9686\u4F50\u00B7\u90B1\u5947\u5728 1940 \u5E74\u4ECB\u5165\u6765\u5C1D\u8BD5\u907F\u514D\u65E0\u7C7B\u578B lambda \u6F14\u7B97\u7684\u6096\u8BBA\u6027\u4F7F\u7528\u3002"@zh . . . "C\u00E1lculo lambda simplemente tipado"@es . . . . . . . . . "\u039F \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BC\u03B5 \u03B1\u03C0\u03BB\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1\u03C2 \u03C4\u03CD\u03C0\u03C9\u03BD, \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03B5\u03C1\u03BC\u03B7\u03BD\u03B5\u03AF\u03B1 \u03C4\u03CD\u03C0\u03C9\u03BD \u03C4\u03BF\u03C5 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03AD\u03BD\u03B1 \u03BC\u03BF\u03BD\u03B1\u03B4\u03B9\u03BA\u03CC \u03BA\u03B1\u03C4\u03B1\u03C3\u03BA\u03B5\u03C5\u03B1\u03C3\u03C4\u03AE \u03C4\u03CD\u03C0\u03C9\u03BD (type constructor): , \u03BF \u03BF\u03C0\u03BF\u03AF\u03BF\u03C2 \u03BA\u03B1\u03C4\u03B1\u03C3\u03BA\u03B5\u03C5\u03AC\u03B6\u03B5\u03B9 . \u0395\u03AF\u03BD\u03B1\u03B9 \u03C4\u03BF \u03BA\u03B1\u03BD\u03BF\u03BD\u03B9\u03BA\u03CC \u03BA\u03B1\u03B9 \u03C4\u03BF \u03C0\u03B9\u03BF \u03B1\u03C0\u03BB\u03CC \u03C0\u03B1\u03C1\u03AC\u03B4\u03B5\u03B9\u03B3\u03BC\u03B1 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2, \u03BA\u03B1\u03B9 \u03B5\u03BC\u03C6\u03B1\u03BD\u03AF\u03B6\u03B5\u03B9 \u03C0\u03BF\u03BB\u03BB\u03AD\u03C2 \u03B5\u03C0\u03B9\u03B8\u03C5\u03BC\u03B7\u03C4\u03AD\u03C2 \u03BA\u03B1\u03B9 \u03B5\u03BD\u03B4\u03B9\u03B1\u03C6\u03AD\u03C1\u03BF\u03C5\u03C3\u03B5\u03C2 \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B5\u03C2. \u039F \u03CC\u03C1\u03BF\u03C2 \u03B1\u03C0\u03BB\u03CC\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C2 \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03B5\u03AF\u03C4\u03B1\u03B9 \u03B5\u03C0\u03AF\u03C3\u03B7\u03C2 \u03B3\u03B9\u03B1 \u03B5\u03C0\u03B5\u03BA\u03C4\u03AC\u03C3\u03B5\u03B9\u03C2 \u03C4\u03BF\u03C5 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03B1\u03C0\u03BB\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03CC\u03C0\u03C9\u03C2 \u03C4\u03B1 \u03B3\u03B9\u03BD\u03CC\u03BC\u03B5\u03BD\u03B1, \u03C4\u03B1 \u03C3\u03C5\u03B3\u03B3\u03B9\u03BD\u03CC\u03BC\u03B5\u03BD\u03B1, \u03BA\u03B1\u03B9 \u03BF\u03B9 \u03C6\u03C5\u03C3\u03B9\u03BA\u03BF\u03AF \u03B1\u03C1\u03B9\u03B8\u03BC\u03BF\u03AF \u03AE \u03B1\u03BA\u03CC\u03BC\u03B7 \u03BA\u03B1\u03B9 \u03BC\u03B5 \u03C0\u03BB\u03AE\u03C1\u03B7 \u03B1\u03BD\u03B1\u03B4\u03C1\u03BF\u03BC\u03AE. \u0391\u03BD\u03C4\u03AF\u03B8\u03B5\u03C4\u03B1, \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1 \u03C0\u03BF\u03C5 \u03B5\u03B9\u03C3\u03AC\u03B3\u03BF\u03C5\u03BD (\u03CC\u03C0\u03C9\u03C2 \u03C4\u03BF \u03A3\u03CD\u03C3\u03C4\u03B7\u03BC\u03B1 F) \u03AE \u03B5\u03BE\u03B1\u03C1\u03C4\u03CE\u03BC\u03B5\u03BD\u03BF\u03C5\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03CC\u03C0\u03C9\u03C2 \u03C4\u03BF \u03B4\u03B5\u03BD \u03B8\u03B5\u03C9\u03C1\u03BF\u03CD\u03BD\u03C4\u03B1\u03B9 \u03BC\u03B5 \u03B1\u03C0\u03BB\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2. \u03A4\u03B1 \u03C0\u03C1\u03CE\u03C4\u03B1 \u03B8\u03B5\u03C9\u03C1\u03BF\u03CD\u03BD\u03C4\u03B1\u03B9 \u03B1\u03C0\u03BB\u03AC \u03B5\u03C0\u03B5\u03B9\u03B4\u03AE \u03BC\u03C0\u03BF\u03C1\u03B5\u03AF \u03BD\u03B1 \u03B3\u03AF\u03BD\u03B5\u03B9 \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 \u03C4\u03AD\u03C4\u03BF\u03B9\u03C9\u03BD \u03B4\u03BF\u03BC\u03CE\u03BD \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BC\u03CC\u03BD\u03BF \u03BA\u03B1\u03B9 \u03BA\u03B1\u03C4\u03AC\u03BB\u03BB\u03B7\u03BB\u03B5\u03C2 \u03BC\u03B5\u03C4\u03B1\u03B2\u03BB\u03B7\u03C4\u03AD\u03C2 \u03C4\u03CD\u03C0\u03C9\u03BD, \u03B5\u03BD\u03CE \u03B4\u03B5\u03BD \u03BC\u03C0\u03BF\u03C1\u03BF\u03CD\u03BD \u03BD\u03B1 \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03B9\u03B7\u03B8\u03BF\u03CD\u03BD \u03B1\u03BD\u03C4\u03AF\u03C3\u03C4\u03BF\u03B9\u03C7\u03B1 \u03BF \u03C0\u03BF\u03BB\u03C5\u03BC\u03BF\u03C1\u03C6\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BA\u03B1\u03B9 \u03B7 \u03B5\u03BE\u03AC\u03C1\u03C4\u03B7\u03C3\u03B7 \u03C4\u03CD\u03C0\u03C9\u03BD."@el . . . . "O c\u00E1lculo lambda simplesmente tipado, ou c\u00E1lculo lambda com tipagem simples, \u00E9 um modelo da teoria dos tipos que adiciona o conceito de tipagem ao c\u00E1lculo lambda. Isso \u00E9 poss\u00EDvel com adi\u00E7\u00E3o de apenas um elemento (o construtor de tipos: ) para construir tipos de fun\u00E7\u00F5es. Esse \u00E9 o exemplo mais simples e can\u00F4nico de um c\u00E1lculo lambda com tipagem. O c\u00E1lculo lambda simplesmente tipado foi introduzido originalmente por Alonzo Church em 1940 como uma tentativa de evitar o uso paradoxal do , o qual mostrou v\u00E1rias propriedades interessantes e desejadas."@pt . "The simply typed lambda calculus, a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus. The term simple type is also used to refer extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF). In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed. The simple types, except for full recursion, are still considered simple because the Church encodings of such structures can be done using only and suitable type variables, while polymorphism and dependency cannot."@en . "\u041F\u0440\u043E\u0441\u0442\u043E \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 (\u043F\u0440\u043E\u0441\u0442\u043E\u0435 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435, \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0441 \u043F\u0440\u043E\u0441\u0442\u044B\u043C\u0438 \u0442\u0438\u043F\u0430\u043C\u0438, \u0441\u0438\u0441\u0442\u0435\u043C\u0430 ) \u2014 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0433\u043E \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F, \u0432 \u043A\u043E\u0442\u043E\u0440\u043E\u0439 \u043B\u044F\u043C\u0431\u0434\u0430-\u0430\u0431\u0441\u0442\u0440\u0430\u043A\u0446\u0438\u0438 \u043F\u0440\u0438\u043F\u0438\u0441\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u0439 \u00AB\u0441\u0442\u0440\u0435\u043B\u043E\u0447\u043D\u044B\u0439\u00BB \u0442\u0438\u043F. \u042D\u0442\u0430 \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0431\u044B\u043B\u0430 \u043F\u0440\u0435\u0434\u043B\u043E\u0436\u0435\u043D\u0430 \u0410\u043B\u043E\u043D\u0437\u043E \u0427\u0451\u0440\u0447\u0435\u043C \u0432 1940 \u0433\u043E\u0434\u0443. \u0414\u043B\u044F \u0431\u043B\u0438\u0437\u043A\u043E\u0433\u043E \u043A \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044E \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043C\u0430 \u043A\u043E\u043C\u0431\u0438\u043D\u0430\u0442\u043E\u0440\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438 \u043F\u043E\u0445\u043E\u0436\u0430\u044F \u0441\u0438\u0441\u0442\u0435\u043C\u0430 \u0440\u0430\u0441\u0441\u043C\u0430\u0442\u0440\u0438\u0432\u0430\u043B\u0430\u0441\u044C \u0425\u0430\u0441\u043A\u0435\u043B\u043B\u043E\u043C \u041A\u0430\u0440\u0440\u0438 \u0432 1934 \u0433\u043E\u0434\u0443."@ru . . . . . . "1122932982"^^ . "The simply typed lambda calculus, a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus."@en . . "\u039B-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BC\u03B5 \u03B1\u03C0\u03BB\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2"@el . . . . . . . "1986011"^^ . . "\u041F\u0440\u043E\u0441\u0442\u043E \u0442\u0438\u043F\u0438\u0437\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u043E\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435"@ru . . . . . . . . . . "\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u662F\u8FDE\u63A5\u8BCD\u53EA\u6709 (\u51FD\u6570\u7C7B\u578B)\u7684\u6709\u7C7B\u578B lambda \u6F14\u7B97\u3002\u8FD9\u4F7F\u5B83\u6210\u4E3A\u89C4\u8303\u7684\u3001\u5728\u5F88\u591A\u65B9\u9762\u662F\u6700\u7B80\u5355\u7684\u6709\u7C7B\u578B lambda \u6F14\u7B97\u7684\u4F8B\u5B50\u3002 \u7B80\u5355\u7C7B\u578B\u4E5F\u88AB\u7528\u6765\u79F0\u547C\u5BF9\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u7684\u6269\u5C55\u6BD4\u5982\u79EF\u3001\u6216\u81EA\u7136\u6570(\u7CFB\u7EDF T)\u751A\u81F3\u5B8C\u5168\u7684\u9012\u5F52(\u5982)\u3002\u76F8\u53CD\u7684\uFF0C\u4ECB\u5165\u4E86\u591A\u6001\u7C7B\u578B(\u5982\u7CFB\u7EDFF)\u6216\u4F9D\u8D56\u7C7B\u578B(\u5982\u903B\u8F91\u6846\u67B6)\u7684\u7CFB\u7EDF\u4E0D\u88AB\u5F53\u4F5C\u662F\u7B80\u5355\u7C7B\u578B\u3002\u7B80\u5355\u7C7B\u578B lambda \u6F14\u7B97\u6700\u521D\u7531\u963F\u9686\u4F50\u00B7\u90B1\u5947\u5728 1940 \u5E74\u4ECB\u5165\u6765\u5C1D\u8BD5\u907F\u514D\u65E0\u7C7B\u578B lambda \u6F14\u7B97\u7684\u6096\u8BBA\u6027\u4F7F\u7528\u3002"@zh . . . "\u039F \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC\u03C2 \u03BC\u03B5 \u03B1\u03C0\u03BB\u03BF\u03CD\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03B8\u03B5\u03C9\u03C1\u03AF\u03B1\u03C2 \u03C4\u03CD\u03C0\u03C9\u03BD, \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03B5\u03C1\u03BC\u03B7\u03BD\u03B5\u03AF\u03B1 \u03C4\u03CD\u03C0\u03C9\u03BD \u03C4\u03BF\u03C5 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03AD\u03BD\u03B1 \u03BC\u03BF\u03BD\u03B1\u03B4\u03B9\u03BA\u03CC \u03BA\u03B1\u03C4\u03B1\u03C3\u03BA\u03B5\u03C5\u03B1\u03C3\u03C4\u03AE \u03C4\u03CD\u03C0\u03C9\u03BD (type constructor): , \u03BF \u03BF\u03C0\u03BF\u03AF\u03BF\u03C2 \u03BA\u03B1\u03C4\u03B1\u03C3\u03BA\u03B5\u03C5\u03AC\u03B6\u03B5\u03B9 . \u0395\u03AF\u03BD\u03B1\u03B9 \u03C4\u03BF \u03BA\u03B1\u03BD\u03BF\u03BD\u03B9\u03BA\u03CC \u03BA\u03B1\u03B9 \u03C4\u03BF \u03C0\u03B9\u03BF \u03B1\u03C0\u03BB\u03CC \u03C0\u03B1\u03C1\u03AC\u03B4\u03B5\u03B9\u03B3\u03BC\u03B1 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2, \u03BA\u03B1\u03B9 \u03B5\u03BC\u03C6\u03B1\u03BD\u03AF\u03B6\u03B5\u03B9 \u03C0\u03BF\u03BB\u03BB\u03AD\u03C2 \u03B5\u03C0\u03B9\u03B8\u03C5\u03BC\u03B7\u03C4\u03AD\u03C2 \u03BA\u03B1\u03B9 \u03B5\u03BD\u03B4\u03B9\u03B1\u03C6\u03AD\u03C1\u03BF\u03C5\u03C3\u03B5\u03C2 \u03B9\u03B4\u03B9\u03CC\u03C4\u03B7\u03C4\u03B5\u03C2."@el . . "El c\u00E1lculo lambda simplemente tipado es una teor\u00EDa de tipos basada en el c\u00E1lculo de lambda con un \u00FAnico , , que construye . Es el ejemplo can\u00F3nico y m\u00E1s sencillo de un c\u00E1lculo lambda tipado. El c\u00E1lculo lambda simplemente tipado fue originalmente introducido por Alonzo Church en el 1940 como un intento de evitar la aparici\u00F3n de paradojas en el c\u00E1lculo lambda sin tipos."@es . . . . "\u7B80\u5355\u7C7B\u578B\u03BB\u6F14\u7B97"@zh . . "Simply typed lambda calculus"@en . . . . . . . . "O c\u00E1lculo lambda simplesmente tipado, ou c\u00E1lculo lambda com tipagem simples, \u00E9 um modelo da teoria dos tipos que adiciona o conceito de tipagem ao c\u00E1lculo lambda. Isso \u00E9 poss\u00EDvel com adi\u00E7\u00E3o de apenas um elemento (o construtor de tipos: ) para construir tipos de fun\u00E7\u00F5es. Esse \u00E9 o exemplo mais simples e can\u00F4nico de um c\u00E1lculo lambda com tipagem. O c\u00E1lculo lambda simplesmente tipado foi introduzido originalmente por Alonzo Church em 1940 como uma tentativa de evitar o uso paradoxal do , o qual mostrou v\u00E1rias propriedades interessantes e desejadas. O termo tipo simples tamb\u00E9m \u00E9 utilizado para se referir \u00E0 extens\u00F5es do c\u00E1lculo lambda simplesmente tipado como produtos, coprodutos, n\u00FAmeros naturais ou at\u00E9 recurs\u00E3o completa. Em contraste, sistemas que introduzem tipos polim\u00F3rficos (como o ) ou n\u00E3o s\u00E3o considerados simplesmente tipados. O c\u00E1lculo lambda simplesmente tipado \u00E9 considerado simples por conta da Codifica\u00E7\u00E3o de Church de suas estruturas que pode ser feita usando apenas o s\u00EDmbolo e vari\u00E1veis de tipos adequadas, enquanto polimorfismo e depend\u00EAncia n\u00E3o podem."@pt . .