Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) pdf epub fb2

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) by H. Ehrig, H. Herrlich, H. J. Krewski, G. Preub epub fb2 djvu

Author: H. Ehrig, H. Herrlich, H. J. Krewski, G. Preub
Title: Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
ISBN: 0387517227
ISBN13: 978-0387517223
Other Formats: lrf docx mbr mobi
Pages: 350 pages
Publisher: Springer Verlag (February 1, 1990)
Language: English
Size EPUB version: 1902 kb
Size FB2 version: 1844 kb
Category: Computers & Technology
Subcategory: Programming

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.

Related EPUB FB2 books to Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science) by H. Ehrig, H. Herrlich, H. J. Krewski, G. Preub
Mathematical Foundations of Computer Science 1990: Banska Bystrica, Czechos ...
Mathematical Foundations of Computer Science 1990: Banska Bystrica, Czechos ...
Selected Areas in Cryptography: 18th International Workshop, SAC 2011, Toro ...
Selected Areas in Cryptography: 18th International Workshop, SAC 2011, Toro ...
Implementation of Functional Languages: 11th International Workshop, IFL'99 ...
Implementation of Functional Languages: 11th International Workshop, IFL'99 ...
Computer Network Security: 5th International Conference, on Mathematical Me ...
Computer Network Security: 5th International Conference, on Mathematical Me ...
Computer Vision -- ACCV 2010 Workshops: ACCV 2010 International Workshops. ...
Computer Vision -- ACCV 2010 Workshops: ACCV 2010 International Workshops.  ...
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, ...
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, ...
Formal Methods for Industrial Critical Systems: 12th International Workshop ...
Formal Methods for Industrial Critical Systems: 12th International Workshop ...
Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 201 ...
Semantics in Data and Knowledge Bases: 4th International Workshop, SDKB 201 ...
Finite-State Methods and Natural Language Processing: 5th International Wor ...
Finite-State Methods and Natural Language Processing: 5th International Wor ...
Algorithms and Data Structures: 4th International Workshop, WADS '95, Kings ...
Algorithms and Data Structures: 4th International Workshop, WADS '95, Kings ...
Category Theory and Computer Science: Paris, France, September 3-6, 1991. P ...
Category Theory and Computer Science: Paris, France, September 3-6, 1991. P ...
Theory of Quantum Computation, Communication, and Cryptography: Third Works ...
Theory of Quantum Computation, Communication, and Cryptography: Third Works ...