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
Miêu tả
Mô tả sách:
Mô tả vật lý:xvii,335p.
số ISBN:0-521-45701-7

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