โ Scribed by Pitts Andrew M., Dybjer P. (eds.)
No coin nor oath required. For personal study only.
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.
Formale Semantik.;Kategorielle Logik.
๐ SIMILAR VOLUMES
This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
Truth, Deduction, and Computation Logic and Semantics for Computer Science. Ruth E. Davis. Copyright 1989, Computer Science Press, NY. ISBN/ASIN/LOC 0716782014. Hardcover in very good condition. Binding is secure, cover and spine are clean with minimal wear. NO writing or highlighting was observerd
This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great int