Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Category Theory and Computer Science

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

Language EnglishEnglish
Book Paperback
Book Category Theory and Computer Science David H. Pitt
Libristo code: 01565222
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Full description
? points 124 b
50.59 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

You might also be interested in

On the Way to the Web Michael Banks / Book Paperback
common.buy 16.49 €
Abstract Algebra 3e (WSE) I.N. Herstein / Book Paperback
common.buy 174.79 €
Biomedical Signals and Sensors II Eugenijus Kaniusas / Book Hardback
common.buy 128.69 €
Rules for Vanishing Kate Alice Marshall / Book Hardback
common.buy 21.29 €
That Fruit Is Mine! Anuska Allepuz / Book Paperback
common.buy 9.19 €
The Fates Divide Veronica Roth / Book Paperback
common.buy 13.99 €
Memoirs of a Book Thief Alessandro Tota / Book Hardback
common.buy 20.29 €
Harvest of Sorrow Robert Conquest / Book Paperback
common.buy 22.39 €
Down On Me J Kenner / Book Paperback
common.buy 14.49 €
Through Russia Maxim Gorky / Book Paperback
common.buy 13.79 €
Daffodil Duckworth and the Fictitious Nazi Spy Ring Demetrian Shallows / Book Paperback
common.buy 8.79 €
Top
Advances in Financial Machine Learning Marcos Lopez de Prado / Book Hardback
common.buy 43.59 €
Language and Politics William M. O'Barr / Book Hardback
common.buy 154.89 €
Is Your Liver Making You Fat? Christy Belmont / Book Paperback
common.buy 6.49 €
The Teeth Whitening Cure Dds Lester Sawicki / Book Paperback
common.buy 9.79 €
Saving Ourselves: Interviews With World Leaders On The Sustainable Transition Yacine Belhaj-Bouabdallah / Book Paperback
common.buy 31.59 €
New GCSE English Literature AQA Complete Revision & Practice - includes Online Edition CGP Books / Book Paperback
common.buy 15.49 €
Top
Category Theory in Context Riehl / Book Paperback
common.buy 28.19 €
Our Voices Alberto Gonzalez / Book Paperback
common.buy 178.29 €
Falcons Melissa Gish / Book Paperback
common.buy 12.09 €
Top
Roadside Picnic Boris Strugatsky / Book Paperback
common.buy 11.09 €
Top
Bank Treasury Management Beata Lubinska / Book Hardback
common.buy 65.19 €
An Introduction to Theory of Computation Mitsunori Ogihara / Book Hardback
common.buy 84.09 €
Top
Peaks of the Balkans Trail Rudolf Abraham / Book Paperback
common.buy 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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Category Theory and Computer Science
Author David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Language English
Binding Book - Paperback
Number of pages 372
EAN 9783540516620
ISBN 354051662X
Libristo code 01565222
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1160
Dimensions 170 x 250 x 21

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?