Типы в языках программирования, 5 курс, 2 семестр, 2016/17
Материал из SEWiki
Версия от 02:12, 5 марта 2017;
Mchernyavsky
(
обсуждение
|
вклад
)
(
разн.
)
← Предыдущая
|
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
Перейти к:
навигация
,
поиск
Преподаватель -- Елагин Кирилл
Лекции
Практика
Ссылки
Б. Пирс - Типы в языках программирования
M. H. Sørensen, P. Urzyczyn - Lectures on the Curry-Howard Isomorphism
Навигация
Просмотры
Статья
Обсуждение
Просмотр
История
Персональные инструменты
Войти
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Поиск
Инструменты
Ссылки сюда
Связанные правки
Спецстраницы
Постоянная ссылка
Сведения о странице