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: 01565222
Price: 48.44 EUR
Availability: InStock
Author: David H. Pitt
ISBN: 9783540516620

Manchester, UK, September 5-8, 1989. Proceedings

Língua

Inglês

Livro Capa mole

Código Libristo: 01565222

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

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

Código Libristo: 01565222

117 b

48.44 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Também pode estar interessado em

On the Way to the Web Michael Banks

Capa mole

14.73 €

Abstract Algebra 3e (WSE) I.N. Herstein

Capa mole

162.69 €

Biomedical Signals and Sensors II Eugenijus Kaniusas

Livro de capa dura

123.22 €

The Teeth Whitening Cure Dds Lester Sawicki

Capa mole

8.97 €

Rules for Vanishing Kate Alice Marshall

Livro de capa dura

20.07 €

That Fruit Is Mine! Anuska Allepuz

Capa mole

8.67 €

The Fates Divide Veronica Roth

Capa mole

12.40 €

Memoirs of a Book Thief Alessandro Tota

Livro de capa dura

18.06 €

Harvest of Sorrow Robert Conquest

Capa mole

21.18 €

Through Russia Maxim Gorky

Capa mole

12.51 €

Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows

Capa mole

7.96 €

Advances in Financial Machine Learning Marcos Lopez de Prado

Livro de capa dura

38.75 €

Is Your Liver Making You Fat? Christy Belmont

Capa mole

5.84 €

Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah

Capa mole

29.16 €

New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books

Capa mole

14.83 €

Category Theory in Context Riehl

Capa mole

25.02 €

Our Voices Alberto Gonzalez

Capa mole

165.92 €

Falcons Melissa Gish

Capa mole

10.89 €

Staten Island Rapid Transit Marc Pitanza

Livro de capa dura

23.00 €

The Imperialism of French Decolonisaton R. Ikeda

Capa mole

86.28 €

Roadside Picnic Boris Strugatsky

Capa mole

10.39 €

Bank Treasury Management Beata Lubinska

Livro de capa dura

58.02 €

An Introduction to Theory of Computation Mitsunori Ogihara

Livro de capa dura

80.43 €

Peaks of the Balkans Trail Rudolf Abraham

Capa mole

20.07 €

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.