Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science - D. E. Rydeheard - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540601647 - July 21, 1995
In case cover and title do not match, the title is correct

D. E. Rydeheard
Category Theory and Computer Science: 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 - Proceedings - Lecture Notes in Computer Science 1995 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

259 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 21, 1995
ISBN13 9783540601647
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 259
Dimensions 155 × 233 × 14 mm   ·   385 g
Language English  
Editor Johnstone, Peter T.
Editor Pitt, David
Editor Rydeheard, D.e.

Mere med samme udgiver

See all of D. E. Rydeheard ( e.g. Paperback Book )