Topology and category theory in computer science

Dades bibliogràfiques
Altres autors: Roscoe, A
Format: Conference item
Publicat: OUP 1991