Topology and category theory in computer science

Bibliografiske detaljer
Andre forfattere: Roscoe, A
Format: Conference item
Udgivet: OUP 1991