Topology and category theory in computer science

Chi tiết về thư mục
Tác giả khác: Roscoe, A
Định dạng: Conference item
Được phát hành: OUP 1991