Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01558474

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2006

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

Codice Libristo: 01558474

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

25.69 €

Globalisierung Andreas Niederberger

Rigido

17.19 €

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

Rigido

13.49 €

El joven Poe 8: EL CIRCO DEL TERROR CUCA CANALS

CD audio

11.89 €

DELF junior et scolaire Alain Rausch

In brossura

18.19 €

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

In brossura

38.89 €

Tractatus logico-philosophicus Wittgenstein Ludwig

In brossura

3.79 €

Giọt Sầu Mua Thu Ty M Dang

In brossura

12.69 €

MONTAÑAS GIMENEZ

Rigido

18.29 €

Naděje je na další stránce

Libro

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

Rigido

9.39 €

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

Libro

18.19 €

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

In brossura

28.19 €

Selbststandig als Physiotherapeut in Zeiten leerer Kassen Robert Pastätter

In brossura

41.49 €

Rachunkowosc kurs podstawowy Edward Nowak

In brossura

13.79 €

Las catedrales de Francia Auguste Rodin

In brossura

26.69 €

Yorgun Sevda irfan Yalcin

In brossura

7.29 €

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

In brossura

17.19 €

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

In brossura

30.59 €

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

In brossura

16.15 €

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

In brossura

23.39 €

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.