Вопросы с тегом доказательство из-корректности - PullRequest
Новая

Вопросы с тегом доказательство из-корректности

3 голосов
2 ответов
Чтобы доказать, что SKK и II бета-эквивалент, лямбда-исчисление

Я новичок в лямбда-исчислении и изо всех сил пытаюсь доказать следующее. SKK и II - бета-эквивалент

khrist safalhai / 26 апреля 2011
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...