Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1290)
Conference series link(s): CTCS: International Conference on Category Theory and Computer Science
Conference proceedings info: CTCS 1997.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 papers)
-
Front Matter
-
Back Matter
About this book
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Bibliographic Information
Book Title: Category Theory and Computer Science
Book Subtitle: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Editors: Eugenio Moggi, Giuseppe Rosolini
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0026977
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63455-3Published: 20 August 1997
eBook ISBN: 978-3-540-69552-3Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 319
Topics: Computer System Implementation, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, K-Theory, Mathematical Logic and Foundations