M. Pitts / P. Dybjer (eds.)

Semantics and Logics of Computation

Herausgeber: Pitts, A.; Pitts, Andrew M.; Dybjer, P.

• Gebundenes Buch

Produktbeschreibung

Summer school lecture courses on modern logic and computation are presented here.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 376
• Erscheinungstermin: 24. April 2007
• Englisch
• Abmessung: 235mm x 157mm x 27mm
• Gewicht: 760g
• ISBN-13: 9780521580571
• ISBN-10: 0521580579
• Artikelnr.: 22896385

Inhaltsangabe

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.