Topology and category theory in computer science

書誌詳細
その他の著者: Roscoe, A
フォーマット: Conference item
出版事項: OUP 1991