присущей lambda-исчислению"?
Не уверен, что это правда. Пять минут размышлений не смогли мне помочь придумать алгебраическую структуру для дуализированной лямбды. Зато могу придумать сразу алгебраическую структуру, связанную с лямбда-исчислением — домены Скотта. И одну частично алгебраическую — partial combinatory algebra
Обсуждают сегодня