Topology and category theory in computer science

Detalhes bibliográficos
Outros Autores: Roscoe, A
Formato: Conference item
Publicado em: OUP 1991