Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]

Hartmut Ehrig Horst Herrlich Hans-Jörg Kreowski Gerhard Preuß Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany] Categorial Methods in Computer Science Lecture Notes in Computer Science 393 Springer 1989 3-540-51722-7 https://doi.org/10.1007/3-540-51722-7 db/conf/category/category1988.html