Categorical Methods in Computer Science
Subtitle: With Aspects from Topology (Lecture Notes in Computer Science)
Contributors: G. Preub (Editor)
Publisher: Springer
Published: February 1990
Language: eng
Number of pages: 350
ISBN-13: 9780387517223
First sentence: In the theory of algebraic specifications two different kinds of semantics have been considered in particular: Initial and loose semantics (see [GTW 76], [BG 80], [HKR 80], [EM 85]).