Соответствие Карри—Ховарда—Воеводского (почему бы и нет). Источник: http://www.math.jhu.edu/~eriehl/Voevodsky.pdf...

Соответствие Карри—Ховарда—Воеводского (почему бы и нет). Источник: http://www.math.jhu.edu/~eriehl/Voevodsky.pdf
Curry-Howard-Voevodsky correspondence (why not). Source: http://www.math.jhu.edu/~eriehl/Voevodsky.pdf
У записи 11 лайков,
1 репостов,
1655 просмотров.
Эту запись оставил(а) на своей стене Александр Лузгарев

Понравилось следующим людям

Популярные записи
Владимир Морозов Величайший прорыв в жизни наступает тогда,
Аня Ткач Начинающая видеоблоггерша Аня готова на все,
Дмитрий Калупин (Готовы на только один текст про
Наталья Канушкина Друзья! Вся надежда только на Вас!
Наталья Харитонова Моя ложка дегтя. Почему я не
Ярослав Юркевич my new project, the first session....#tattoo
Варенька Спасская СПб Примерно с месяц назад в
Катя Крича Сегодня в 6-40 моя жизнь изменилась
Максим Тимофеев На днях нам выпала возможность поработать
Надежда Иванова ♥~Любимая~♥ - Если я пропущу одну тренировочку,
Интересные записи
Yuri Solopov Девиз Вышки: "Success is like being
Оксана Голодюк Всем макияжный привет ???? Хотела выложить
Анастасия Стручкова Работа над этим проектом началась почти
Любовь Каталевская Patrikeevna ???? МОИ ЛЮБИМЫЕ ДВА КАРАПУЗА или
Марина Милёшина По семейным обстоятельствам ПРИСТРАИВАЕТСЯ кобель породы
Егор Смуткин Дорогие мои друзья, у меня важное
Сергей Кушеверский На днях спонтанно организовали фотосессию для
Тая Маркиянова Я СУБАРИСТка! Скажу это с гордостью
Виктор Никитин С одной стороны, померли Боуи, Рикман,
Леван Пацация Санта-Клаус,солнце,море,новый год,девочки в бикини,парни на серфах,вечеринки