+612 9045 4394
 
CHECKOUT
Semantics and Logics of Computation : Publications of the Newton Institute - Andrew M. Pitts

Semantics and Logics of Computation

Publications of the Newton Institute

By: Andrew M. Pitts (Editor), Peter Dybjer (Editor)

Hardcover Published: 24th April 2007
ISBN: 9780521580571
Number Of Pages: 376

Share This Book:

Hardcover

$264.25
or 4 easy payments of $66.06 with Learn more
Ships in 10 to 15 business days

The aim of this volume is to present modern 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 have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

'... the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal

List of contributors
Preface
Semantics of interaction: an introduction to game semantics
Computational content of classical logic
Syntax and semantics of dependent types
Game semantics
Metalanguages and applications
Operationally-based theories of program equivalence
Categories in concurrency
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521580571
ISBN-10: 0521580579
Series: Publications of the Newton Institute
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 376
Published: 24th April 2007
Publisher: CAMBRIDGE UNIV PR
Country of Publication: GB
Dimensions (cm): 22.86 x 15.24  x 2.54
Weight (kg): 0.72