Categgories for types

Chi tiết về thư mục
Tác giả chính: Crole, Roy L.
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge Cambridge University Press 1993
Những chủ đề:
Categorical type theory

UL

Chi tiết quỹ từ UL
Số hiệu: 512.58 CRO
Sao chép Trạng thái trực tiếp không khả dụng

Những quyển sách tương tự