Category Theory and Computer Science - 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Paperback - 1995

These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.
Year of publication: 1995
Pagination: 259 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: David Pitt, D.E. Rydeheard, Peter T. Johnstone