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

Saved in:
Bibliographic Details
Main Authors: Asperti, Andrea, Longo, Giuseppe
Format: Book
Language:English
Published: 2010
Subjects:
Online Access:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1911
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Thư viện Trường Đại học Đà Lạt