Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
Keywords
About this book
The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
Bibliographic Information
Book Title: Category Theory and Computer Science
Book Subtitle: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Editors: David Pitt, David E. Rydeheard, Peter Johnstone
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60164-3
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-60164-7Published: 21 July 1995
eBook ISBN: 978-3-540-44661-3Published: 01 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 259
Topics: Mathematics of Computing, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Programming Languages, Compilers, Interpreters, K-Theory