Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)

Pitts, Andrew M. [Editor]; Dybjer, P. [Editor];

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Published by Cambridge University Press, 1997

About this Item

In shrink wrap. Looks like an interesting title!

Seller Inventory # Q-0521580579

Bibliographic Details

• Title: Semantics and Logics of Computation (Publications of the Newton Institute, Series Number 14)
• Publisher: Cambridge University Press
• Publication Date: 1997
• Language: English
• ISBN 10: 0521580579
• ISBN 13: 9780521580571
• Binding: hardcover
• Condition: New
• Weight: 23 ounces

About this title

Synopsis

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

About the Author

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.