Spedizione gratuita per ordini superiori a 69,99 euro.

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

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Category Theory and Computer Science

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

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01565222

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

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

Codice Libristo: 01565222

124 b

50.59 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

On the Way to the Web Michael Banks

In brossura

16.49 €

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

In brossura

174.79 €

Biomedical Signals and Sensors II Eugenijus Kaniusas

Rigido

128.69 €

The Teeth Whitening Cure Dds Lester Sawicki

In brossura

9.79 €

Rules for Vanishing Kate Alice Marshall

Rigido

21.29 €

That Fruit Is Mine! Anuska Allepuz

In brossura

9.19 €

The Fates Divide Veronica Roth

In brossura

13.19 €

Memoirs of a Book Thief Alessandro Tota

Rigido

20.29 €

Harvest of Sorrow Robert Conquest

In brossura

22.39 €

Through Russia Maxim Gorky

In brossura

13.79 €

Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows

In brossura

8.79 €

Advances in Financial Machine Learning Marcos Lopez de Prado

Rigido

43.59 €

Is Your Liver Making You Fat? Christy Belmont

In brossura

6.49 €

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

In brossura

31.59 €

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

In brossura

15.49 €

Category Theory in Context Riehl

In brossura

28.19 €

Our Voices Alberto Gonzalez

In brossura

178.29 €

Falcons Melissa Gish

In brossura

12.09 €

Staten Island Rapid Transit Marc Pitanza

Rigido

25.79 €

The Imperialism of French Decolonisaton R. Ikeda

In brossura

94.39 €

Roadside Picnic Boris Strugatsky

In brossura

11.09 €

Bank Treasury Management Beata Lubinska

Rigido

65.19 €

An Introduction to Theory of Computation Mitsunori Ogihara

Rigido

84.09 €

Peaks of the Balkans Trail Rudolf Abraham

In brossura

21.19 €

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.