Topology and category theory in computer science

Opis bibliograficzny
Kolejni autorzy: Roscoe, A
Format: Conference item
Wydane: OUP 1991