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

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Asperti, Andrea, Longo, Giuseppe
Format: Livre
Langue:English
Publié: 2010
Sujets:
Accès en ligne:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt