Semantics and logics of computation

書誌事項

Semantics and logics of computation

edited by Andrew M. Pitts, Peter Dybjer

（Publications of the Newton Institute, 14）

Cambridge University Press, 1997

大学図書館所蔵 33件

この図書・雑誌を探す

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

  • List of contributors
  • Preface
  • 1. Semantics of interaction: an introduction to game semantics Samson Abramsky
  • 2. Computational content of classical logic Thierry Coquand
  • 3. Syntax and semantics of dependent types Martin Hofmann
  • 4. Game semantics Martin Hyland
  • 5. Metalanguages and applications Eugenio Moggi
  • 6. Operationally-based theories of program equivalence Andrew Pitts
  • 7. Categories in concurrency Glynn Winskel and Mogens Nielsen
  • Index.

「Nielsen BookData」 より

関連文献：1件中 1-1を表示

表紙

詳細情報

共有