ENGLISH

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]

By Pitts Andrew M. , Dybjer P. (eds.)

Book information

Publisher
Cambridge University Press
Year
1997
ISBN
978-0-521-58057-1, 0521580579
Language
english
Format
DJVU
Filesize
2 MB (2121386 bytes)
Series
Isaac Newton Institute for Mathematical Sciences
Edition
1. publ
Pages
361\373
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Formale Semantik.;Kategorielle Logik.

Description

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.

Similar books