Вопросы с тегом «interaction-nets»

Как вы кодируете абстрактный алгоритм Лампинга, используя комбинаторы взаимодействия?

Комбинаторы взаимодействия были предложены в качестве цели компиляции для λ-исчисления ранее. Эта статья реализует полное λ-исчисление. Известно также, что можно оптимизировать кодировки сети взаимодействия λ-исчисления для подмножества λ-членов, которое можно типом EAL. Эта статья реализует это...

Оптимальные оценщики на самом деле оптимальны?

Следующий термин (используя 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быстро оценивается нормальная форма в нескольких существующих оценщиках, включая наивных . Тем не...