Topology and category theory in computer science

Bibliographische Detailangaben
Weitere Verfasser: Roscoe, A
Format: Conference item
Veröffentlicht: OUP 1991