Вопросы с тегом Карри-Говард - PullRequest

Вопросы с тегом Карри-Говард

3 голосов
1 ответ

Я экспериментирую с определением CoNat, взятым из этой статьи Джеспером Коксом и Андреасом Абелем:...

Dave / 19 сентября 2019
93 голосов
10 ответов

Я столкнулся с изоморфизмом Карри-Ховарда относительно поздно в моей жизни программиста, и,...

Tom Crockett / 03 июня 2010
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...