Пример неразрешимости объединения высшего порядка
Не могли бы вы продемонстрировать неразрешимость унификации высшего порядка на одном примере? Например, покажите на одном примере, что унификация в лямбда-исчислении неразрешима.
Не могли бы вы продемонстрировать неразрешимость унификации высшего порядка на одном примере? Например, покажите на одном примере, что унификация в лямбда-исчислении неразрешима.