Элементы теоретического программирования: комбинаторная логика и теория типов : учебное пособие к курсу "Программирование" / И.А. Кудрявцева, М.В. Швецкий ; Рос. гос. пед. ун-т им. А.И. Герцена
Тома: Показать записиЯзык: русский.Выходные данные: Санкт-Петербург : ЛЕМА, 2013Физическая характеристика: 21 см.Предметная рубрика - Тема: Комбинаторная логика -- Применение в программировании -- Учебные издания для высших учебных заведений | HASKELL, язык программирования -- Учебные издания для высших учебных заведений | Математическая логика -- Типов теория -- Учебные издания для высших учебных заведений Другие классификации: В127.1я73-1 ; З973.2-018я73-1 Тип экземпляра: КнигаНет реальных экземпляров для этой записи