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

zbMath0734.68010MaRDI QIDQ1801317

No author found.

Publication date: 5 June 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsWorkshopComputer sciencereflectionscoreflectionsprocess specificationsBerlin (FRG)Categorical methodscategorical methods in computer sciencecategorical methods to algebraic specification languages

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)

Related Items

May I borrow your logic? (Transporting logical structures along maps)