Я внедрил CEK-машину.Учитывая результат замыкания из этого алгоритма и знание того, что это...

В Coq я могу определить кодировку Черча для списков длиной n: Definition listn (A : Type) : nat...

С помощью функций мы можем абстрагироваться от любого типа.Вот тип Option в качестве примера: const...

Я пытался понять, как реализовать церковные типы данных в Scala. Кажется, что для этого требуются...