Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Category Theory and Computer Science

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

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

David H. Pitt

Axel Poigne

David E. Rydeheard

Língua

Inglês

Livro Capa mole

Código Libristo: 01558474

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembro 2006

This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Descrição completa

Código Libristo: 01558474

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Capa mole

26.04 €

Globalisierung Andreas Niederberger

Livro de capa dura

20.56 €

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

Livro de capa dura

17.02 €

El joven Poe 8: EL CIRCO DEL TERROR CUCA CANALS

CD de áudio

14.28 €

DELF junior et scolaire Alain Rausch

Capa mole

18.43 €

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

Capa mole

50.57 €

Tractatus logico-philosophicus Wittgenstein Ludwig

Capa mole

4.75 €

Giọt Sầu Mua Thu Ty M Dang

Capa mole

15.80 €

MONTAÑAS GIMENEZ

Livro de capa dura

21.98 €

Naděje je na další stránce

Livro

3.84 €

Conan der Zerstörer, 1 DVD Richard Fleischer

DVD

12.25 €

Platónův dialog Lysis

binding.

9.62 €

Destination Petrograd Duncan Harding

Adobe ePub DRM

8.71 €

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

Livro de capa dura

11.54 €

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

Livro

21.88 €

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

Capa mole

33.74 €

Selbststandig als Physiotherapeut in Zeiten leerer Kassen Robert Pastätter

Capa mole

49.85 €

Rachunkowosc kurs podstawowy Edward Nowak

Capa mole

16.31 €

Las catedrales de Francia Auguste Rodin

Capa mole

31.61 €

Yorgun Sevda irfan Yalcin

Capa mole

8.71 €

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

Capa mole

20.36 €

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

Capa mole

36.17 €

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

Capa mole

18.23 €

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

Capa mole

28.37 €

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.