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 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer, Berlin
SKU: 05274486
Price: 53.79 EUR
Availability: InStock
Author: Peter Johnstone
ISBN: 9783540601647

6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995. Proceedings

Peter Johnstone

David Pitt

David E. Rydeheard

Language

English

Book Paperback

Libristo code: 05274486

Publishers Springer, Berlin, November 1994

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

Libristo code: 05274486

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

3D Puzzle 216 Teile - Iconics: Kolosseum Rom - mit Licht

Game

51.39 €

PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU

Digital CD

12.69 €

Cesty božstev Jakub Havlíček

Paperback

9.89 €

Malnata Anja Nattefort

Hardback

25.69 €

CELEBRACIO HERMO GONZALEZ

Digital online

21.89 €

principio de Peter 50Minutos

Paperback

14.19 €

O socjologii w Polsce Ludowej rozmów jedenaście Wiatr Jerzy J.

Paperback

13.59 €

Estudio de la representación de los trabajadores Jaén Ballester

Paperback

22.99 €

Menschenrechte Kurt Seelmann

Adobe ePub DRM

162.39 €

Střední, jižní a východní Evropa a rok 1918: společenské a mezinárodní souvislosti Markus Giger

Paperback

6.69 €

Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez

Paperback

51.19 €

(CAT).(10).(4 ANYS-3R TRIM) ESPIRAL MAGICA INFANTIL RUIZ

Hardback

42.99 €

Arbeitsorganisation Und F hrungssystem Bei Den R mischen Agrarschriftstellern (Cato, Varro, Columella) Wilhelm Kaltenstadler

Paperback

25.09 €

Educación, creación e igualdad MARIAN LOPEZ FERNANDEZ CAO

Paperback

11.59 €

Theodor Storm Alfred Biese

Hardback

39.90 €

Das Liederbuch 2004-2010 Silbermond

Paperback

41.19 €

Abissinia Giornale di un viaggio Giuseppe Vigoni

Paperback

17.90 €

Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier

Paperback

18.95 €

'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler

Paperback

17.95 €

Traditionelle Chinesische Medizin Paul U. Unschuld

Paperback

10.29 €

Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller

Paperback

48.00 €

Leben der Katharer im spatmittelalterlichen Frankreich Saskia Bommert

Paperback

24.00 €

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.