Categories, types, and structures: An introduction to category theory for computer scientists

Сохранить в:
Библиографические подробности
Главные авторы: Asperti, Andrea, Longo, Giuseppe
Формат:
Язык:English
Опубликовано: 2010
Предметы:
Online-ссылка:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt