Topology and category theory in computer science

מידע ביבליוגרפי
מחברים אחרים: Roscoe, A
פורמט: Conference item
יצא לאור: OUP 1991