ملخص: This collection of papers records some applications of category theory to computer science. The papers were presented at the Third in a series of Biennial conferences on Category theory and computer science. Application of category theory amy be found in the development of universal algebra (theory for both program specification and computation) and of domain theory (for application in denotational semantics). Altogether, category theory provides a rich setting for the investigation of some foundational issues in computer science. The papers collected here illustrate recent progress in this areas.

طبعة: Berlin: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 365 p. ;25 cm
ISBN: 354051662X