Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Category Theory and Computer Science

Name: Category Theory and Computer Science
Brand: Springer, Berlin
SKU: 05274486
Price: 56.59 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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05274486

Editores Springer, Berlin, noviembre 1994

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Descripción completa

Código Libristo: 05274486

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

Juego

55.39 €

PATACHOU LA CHANTEUSE DE MONTMARTRE PATACHOU

Digital CD

12.39 €

Cesty božstev Jakub Havlíček

Tapa blanda

10.09 €

Malnata Anja Nattefort

Tapa dura

23.09 €

CELEBRACIO HERMO GONZALEZ

Digital en línea

21.39 €

principio de Peter 50Minutos

Tapa blanda

14.99 €

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

Tapa blanda

13.19 €

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

Tapa blanda

21.69 €

Menschenrechte Kurt Seelmann

Adobe ePub DRM

165.79 €

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

Tapa blanda

6.89 €

Turismo Mochilero: ?Fin o Resurgimiento? Marina Perez

Tapa blanda

54.09 €

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

Tapa dura

41.99 €

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

Tapa blanda

26.29 €

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

Tapa blanda

12.19 €

Theodor Storm Alfred Biese

Tapa dura

39.39 €

Das Liederbuch 2004-2010 Silbermond

Tapa blanda

40.19 €

Abissinia Giornale di un viaggio Giuseppe Vigoni

Tapa blanda

17.79 €

Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier

Tapa blanda

18.89 €

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

Tapa blanda

17.89 €

Traditionelle Chinesische Medizin Paul U. Unschuld

Tapa blanda

10.49 €

Absentismus, Moeglichkeiten zur Reduzierung Carsten Müller

Tapa blanda

47.29 €

Leben der Katharer im spatmittelalterlichen Frankreich Saskia Bommert

Tapa blanda

23.79 €

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.