Topology and category theory in computer science

Détails bibliographiques
Autres auteurs: Roscoe, A
Format: Conference item
Publié: OUP 1991