Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings - Lecture Notes in Computer Science 953 (Paperback)David Pitt (editor), D. E. Rydeheard (editor), Peter T. Johnstone (editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 259
Weight: 850 g
Dimensions: 233 x 155 x 14 mm
Edition: 1995 ed.