Результаты поиска по запросу "interaction-nets"
Обычно ли сети взаимодействия оставляют кучу лишних вентиляторов?
Я собираю термины лямбда-исчисления в сети взаимодействия, чтобы оценить их, используя абстрактный алгоритм Лампинга. Чтобы протестировать мою реализацию, я ...