Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 €
phone Contatto phoneCome acquistare

Category Theory and Computer Science

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

Lingua IngleseInglese
Libro In brossura
Libro Category Theory and Computer Science David H. Pitt
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
? points 105 b
42.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

Potrebbe interessarti anche

Abstract Algebra 3e (WSE) I.N. Herstein / Libro In brossura
common.buy 147.49 €
On the Way to the Web Michael Banks / Libro In brossura
common.buy 12.69 €
Biomedical Signals and Sensors II Eugenijus Kaniusas / Libro Rigido
common.buy 108.89 €
Language and Politics William M. O'Barr / Libro Rigido
common.buy 131.79 €
In preparazione
Rules for Vanishing Kate Alice Marshall / Libro Rigido
common.buy 17.29 €
That Fruit Is Mine! Anuska Allepuz / Libro In brossura
common.buy 7.39 €
The Fates Divide Veronica Roth / Libro In brossura
common.buy 10.29 €
Memoirs of a Book Thief Alessandro Tota / Libro Rigido
common.buy 15.49 €
I migliori
Harvest of Sorrow Robert Conquest / Libro In brossura
common.buy 18.19 €
Down On Me J Kenner / Libro In brossura
common.buy 11.69 €
Through Russia Maxim Gorky / Libro In brossura
common.buy 13.79 €
Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows / Libro In brossura
common.buy 7.09 €
Impromptus Op. 29, 36, 51: Chopin National Edition Frederic Chopin / Libro In brossura
common.buy 10.69 €
I migliori
Advances in Financial Machine Learning Marcos Lopez de Prado / Libro Rigido
common.buy 33.29 €
Is Your Liver Making You Fat? Christy Belmont / Libro In brossura
common.buy 5.19 €
The Teeth Whitening Cure Dds Lester Sawicki / Libro In brossura
common.buy 7.89 €
Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah / Libro In brossura
common.buy 26.19 €
New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books / Libro In brossura
common.buy 12.99 €
I migliori
Category Theory in Context Riehl / Libro In brossura
common.buy 21.49 €
Our Voices Alberto Gonzalez / Libro In brossura
common.buy 150.49 €
Visual Category Theory, CoPart 3: A Dual to Brick by Brick, Part 3 / Libro In brossura
common.buy 10.79 €
Bank Treasury Management Beata Lubinska / Libro Rigido
common.buy 49.79 €
An Introduction to Theory of Computation Mitsunori Ogihara / Libro Rigido
common.buy 70.89 €
I migliori
Peaks of the Balkans Trail Rudolf Abraham / Libro In brossura
common.buy 17.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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Category Theory and Computer Science
Autore David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Lingua Inglese
Rilegatura Libro - In brossura
Numero di pagine 372
EAN 9783540516620
ISBN 354051662X
Codice Libristo 01565222
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1160
Dimensioni 170 x 250 x 21

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Matematica e Scienze > Matematica > Algebra
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo