product iamge

Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Pitts Andrew M., Dybjer P. (eds.)
Series: Isaac Newton Institute for Mathematical Sciences . Publications of the Newton Institute ; 14
Edition: 1. publ
Publisher: Cambridge University Press
Year: 1997

Language: English
Pages: 361
City: Cambridge
Tags: Formale Semantik.;Kategorielle Logik.

Content: 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.