Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings

From MaRDI portal
(Redirected from Publication:1801317)