|
Showing 1 - 1 of
1 matches in All Departments
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. The 23 papers of this volume are
grouped into three parts: "Part " "1" includes papers on
categorical foundations and fundamental concepts from category
theory in computer science. "Part 2" presents applications of
categorical methods to algebraic specification languages and
techniques, data types, data bases, programming, and process
specifications. "Part 3" comprises papers on categorial aspects
from topology which mainly concentrate on special adjoint
situations like cartesian closeness, Galois connections,
reflections, and coreflections which are of growing interest in
categorical topology and computer science.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.