«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Category Theory and Computer Science

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

Idioma InglésInglés
Libro Tapa blanda
Libro Category Theory and Computer Science David H. Pitt
Código Libristo: 01565222
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Descripción completa
? points 130 b
53.19 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

También puede interesarle

On the Way to the Web Michael Banks / Libro Tapa blanda
common.buy 16.49 €
Abstract Algebra 3e (WSE) I.N. Herstein / Libro Tapa blanda
common.buy 174.79 €
Biomedical Signals and Sensors II Eugenijus Kaniusas / Libro Tapa dura
common.buy 135.29 €
The Teeth Whitening Cure Dds Lester Sawicki / Libro Tapa blanda
common.buy 9.79 €
Rules for Vanishing Kate Alice Marshall / Libro Tapa dura
common.buy 21.79 €
That Fruit Is Mine! Anuska Allepuz / Libro Tapa blanda
common.buy 9.39 €
The Fates Divide Veronica Roth / Libro Tapa blanda
common.buy 13.99 €
Memoirs of a Book Thief Alessandro Tota / Libro Tapa dura
common.buy 20.79 €
Harvest of Sorrow Robert Conquest / Libro Tapa blanda
common.buy 22.99 €
Through Russia Maxim Gorky / Libro Tapa blanda
common.buy 13.79 €
Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows / Libro Tapa blanda
common.buy 8.79 €
Popular
Advances in Financial Machine Learning Marcos Lopez de Prado / Libro Tapa dura
common.buy 43.59 €
Is Your Liver Making You Fat? Christy Belmont / Libro Tapa blanda
common.buy 6.49 €
Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah / Libro Tapa blanda
common.buy 31.59 €
New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books / Libro Tapa blanda
common.buy 15.79 €
Category Theory in Context Riehl / Libro Tapa blanda
common.buy 28.19 €
Our Voices Alberto Gonzalez / Libro Tapa blanda
common.buy 178.29 €
Falcons Melissa Gish / Libro Tapa blanda
common.buy 12.69 €
Staten Island Rapid Transit Marc Pitanza / Libro Tapa dura
common.buy 25.79 €
The Imperialism of French Decolonisaton R. Ikeda / Libro Tapa blanda
common.buy 96.19 €
Popular
Roadside Picnic Boris Strugatsky / Libro Tapa blanda
common.buy 11.79 €
Popular
Bank Treasury Management Beata Lubinska / Libro Tapa dura
common.buy 65.19 €
An Introduction to Theory of Computation Mitsunori Ogihara / Libro Tapa dura
common.buy 88.49 €
Popular
Peaks of the Balkans Trail Rudolf Abraham / Libro Tapa blanda
common.buy 21.79 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Category Theory and Computer Science
Autor David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Idioma Inglés
Encuadernación Libro - Tapa blanda
Número de páginas 372
EAN 9783540516620
ISBN 354051662X
Código Libristo 01565222
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1160
Dimensiones 170 x 250 x 21

Categorías

Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Matemáticas y ciencias > Matemáticas > Álgebra
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?