interaction-nets पर टैग किए गए जवाब

निम्नलिखित शब्द (ब्रून्ज़-इंडेक्स का उपयोग करके): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) जब एक चर्च नंबर पर लागू किया जाता है तो Nकई मौजूदा मूल्यांकनकर्ताओं में जल्दी से सामान्य रूप का …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

इंटरेक्शन कॉम्बिनेटरों को पहले λ-पथरी के लिए एक संकलन लक्ष्य के रूप में प्रस्तावित किया गया है । यह पेपर पूर्ण λ-पथरी को लागू करता है। यह भी ज्ञात है कि λ-पथ के सबसेट के लिए λ-पथ के अंतःक्रिया-शुद्ध एनकोडिंग को अनुकूलित करना संभव है जो कि EAL- टाइप करने …

10 lambda-calculus  functional-programming  interaction-nets