Imagen del editor

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science 389)

Pitt, D.H.; Pitts, A.M.; Poigne, A.; Rydeheard, D.E.; Dybjer, P.

0 valoraciones por Goodreads
ISBN 10: 038751662X / ISBN 13: 9780387516622
Editorial: Springer Verlag, Secaucus, New Jersey, U.S.A., 1989
Condición: Good Encuadernación de tapa blanda
Librería: Book Booth (Berea, OH, Estados Unidos de America)

Librería en AbeBooks desde: 3 de enero de 2002

Cantidad: 1

Comprar usado
Precio: EUR 118,28 Convertir moneda
Gastos de envío: EUR 3,83 A Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

Text clean & bright; binding tight; moderate wear to covers; previous owner's name inked on title page. 365 pages. Volume 389, Lecture Notes in Computer Science. N° de ref. de la librería S48-007212

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Category Theory and Computer Science: ...

Editorial: Springer Verlag, Secaucus, New Jersey, U.S.A.

Año de publicación: 1989

Encuadernación: Soft Cover

Condición del libro:Good

Acerca de

Sinopsis:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Payment accepted via credit card, check/money order, or PayPal. Credit cards accepted via ABEbooks or PayPal ONLY--please do not send us your credit card information, as we have no way of processing it ourselves. If paying via PayPal, please remember to include shipping and handling. Our PayPal account is bookbooth@usa.com.

Checks and money orders are also accepted; please make checks or money orders payable to
Carol Casciani
441 W. Bagley Rd.
#173
Berea OH 44017

International orders must be pay...

Más información
Condiciones de envío:

Payment accepted via credit card, check/money order, or PayPal. Credit cards accepted via ABEbooks or PayPal ONLY -- please do not send us your credit card information, as we have no way of processing it ourselves. Our PayPal account is bookbooth@usa.com. If paying via PayPal, please remember to include shipping & handling charges. Checks and money orders are also accepted; please make them payable to: C.M. Casciani, 441 W. Bagley Rd. #173, Berea OH 44017. Library and institutional orders welcome; please email us if you require any special handling. International orders must be payable in US dollars. SHIPPING & HANDLING: all books shipped in USA via USPS; Media Mail 7-14 business days for delivery, $4.00 for first book - $1.50 each additional book; or, Priority Mail 2-4 business days for delivery, $6.00 first book - $2.50 each additional book. Returns for reasonable grading of condition; email us prior to return for shipping instructions.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue

Cheque Giro Postal Dinero en Efectivo PayPal