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

7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997. Proceedings

Language EnglishEnglish
Book Paperback
Book Category Theory and Computer Science Eugenio Moggi
Libristo code: 05274744
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the 7th International Conference on Category Theor... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Amphoe Pa Tio Mariam T. Tennoe / Book Paperback
common.buy 180.00 €
Top
Na morzu i w tropikach. Tytus, Romek i A'Tomek. Zaginione księgi. Księga 5 Henryk Jerzy Chmielewski / Book Paperback
common.buy 3.19 €
Confianza y poder Les Giblin / E-book Adobe ePub DRM
common.buy 11.59 €
Manual de análisis de suelos y plantas Rekha Sodani / Book Paperback
common.buy 51.19 €
Menz Poems Yosef T Teklu / Book Paperback
common.buy 13.59 €

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

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 Eugenio Moggi, Giuseppe Rosolini
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 319
EAN 9783540634553
ISBN 354063455X
Libristo code 05274744
Publishers Springer, Berlin
Weight 420
Dimensions 156 x 234 x 17

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Topology > Algebraic topology
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
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

You might also be interested in

Ancient Drama in Music for the Modern Stage Peter Brown / Book Hardback
common.buy 208.29 €
Political Culture and the Making of Modern Nation-States Edward Weisband / Book Hardback
common.buy 264.09 €
Politics without Democracy 1815-1914: Perception a nd Preoccupation in British Government, Second Edi tion Michael Bentley / Book Paperback
common.buy 60.49 €
Studies in Economic Development Alfred Bonne / Book Paperback
common.buy 35.89 €
What a Fish Knows: The Inner Lives of Our Underwater Cousins Jonathan Balcombe / Book Paperback
common.buy 16.29 €
Silver Is Rising: Book 1 Silver Moonbeams / Book Paperback
common.buy 20.09 €
Nanotechnology Applications in Soil Science Abhishek Singh / Book Paperback
common.buy 210.09 €
Bermondsey Boy Tommy Steele / E-book Adobe ePub DRM
common.buy 7.99 €
New American Farmer Laura-Anne Minkoff-Zern / E-book Adobe ePub DRM
common.buy 33.29 €
Doctor, Your Patient Will See You Now Steven Z. Kussin / E-book Adobe ePub DRM
common.buy 19.69 €
Dynamics of Small Town Ministry Lawrence W. Farris / E-book Adobe ePub DRM
common.buy 16.09 €
Well Spoken Erik Palmer / E-book Adobe ePub DRM
common.buy 33.59 €

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?