Запитання з тегом «interaction-nets»

Наступний термін (використовуючи bruijn-індекси): 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. Цей документ реалізує цю підмножину λ-обчислення шляхом переведення λ-термінів типу EAL до мереж взаємодії, які, можливо, складніші, ніж …

10 lambda-calculus  functional-programming  interaction-nets