Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01558474
Price: 45.49 EUR
Availability: InStock
Author: David H. Pitt
ISBN: 9783540185086

Edinburgh, UK, September 7-9, 1987. Proceedings

David H. Pitt

Axel Poigne

David E. Rydeheard

Language

English

Book Paperback

Libristo code: 01558474

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2006

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Full description

Libristo code: 01558474

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Raduga po-novomu 4 Příručka učitele Stanislav Jelínek

Paperback

25.69 €

Globalisierung Andreas Niederberger

Hardback

19.95 €

"Zlaté šesťdesiate" v rozdelenom svete Slavomír Michálek

Hardback

13.49 €

El joven Poe 8: EL CIRCO DEL TERROR CUCA CANALS

Audio CD

11.89 €

DELF junior et scolaire Alain Rausch

Paperback

18.19 €

Novos métodos espectrofotométricos para a determinaç?o da ranitidina Amneen Mohammed

Paperback

38.89 €

Tractatus logico-philosophicus Wittgenstein Ludwig

Paperback

3.79 €

Giọt Sầu Mua Thu Ty M Dang

Paperback

12.69 €

MONTAÑAS GIMENEZ

Hardback

18.29 €

Naděje je na další stránce

Book

3.19 €

Conan der Zerstörer, 1 DVD Richard Fleischer

DVD

10.49 €

Platónův dialog Lysis

binding.

7.99 €

Destination Petrograd Duncan Harding

Adobe ePub DRM

7.39 €

Марк i Єва. Чудний потяг Isabelle Guillen

Hardback

9.39 €

EL POZO DE LA ASCENSION NACIDOS DE LA BRUMA MISTBORN 2 Brandon Sanderson

Book

18.19 €

Little Red Riding-Hood (Traditional Chinese): 01 Paperback Color H y Xiao Phd

Paperback

28.19 €

Selbststandig als Physiotherapeut in Zeiten leerer Kassen Robert Pastätter

Paperback

49.00 €

Rachunkowosc kurs podstawowy Edward Nowak

Paperback

13.79 €

Las catedrales de Francia Auguste Rodin

Paperback

26.69 €

Yorgun Sevda irfan Yalcin

Paperback

7.29 €

48 Recetas De Comidas Poderosas Que Ayudaran A Controlar Su Presion Sanguinea Alta Joe Correa

Paperback

17.19 €

Memoires Tires Des Papiers d'Un Homme d'Etat Sur Les Causes Secretes Tome 2 D ALLONVILLE-A

Paperback

30.59 €

L'allodola e il fuoco. Le cinquanta poesie che accendono la vita Davide Rondoni

Paperback

15.19 €

Geschichte der schwabischen Mundart in Mittelalter und in der Neuzeit Friedrich Kauffmann

Paperback

29.90 €

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.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.