Categorical Methods In Computer Science: With Aspects From Topology
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | October 11, 1989 |
| Editors | Hartmut Ehrig |
| Hans-Jörg Kreowski | |
| Horst Herrlich | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2036663 |
About Categorical Methods In Computer Science: With Aspects From Topology
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. . . .