National Science Library of Georgia

Image from Google Jackets

Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.

Contributor(s): Material type: TextTextSeries: Publications of the Newton Institute ; 14.Publisher: Cambridge : Cambridge University Press, 1997Description: 1 online resource (xii, 361 pages) : digital, PDF file(s)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780511526619 (ebook)
Other title:
  • Semantics & Logics of Computation
Subject(s): Additional physical formats: Print version: : No titleDDC classification:
  • 004/.01/5113 21
LOC classification:
  • QA76 .S425 1997
Online resources:
Contents:
Semantics of interaction : an introduction to game semantics / Samson Abramsky -- Computational content of classical logic / Thierry Coquand -- Syntax and semantics of dependent types / Martin Hofmann -- Game semantics / Martin Hyland -- Metalanguages and applications / Eugenio Moggi -- Operationally-based theories of program equivalence / Andrew Pitts -- Categories in concurrency / Glynn Winskel and Mogens Nielsen.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

Semantics of interaction : an introduction to game semantics / Samson Abramsky -- Computational content of classical logic / Thierry Coquand -- Syntax and semantics of dependent types / Martin Hofmann -- Game semantics / Martin Hyland -- Metalanguages and applications / Eugenio Moggi -- Operationally-based theories of program equivalence / Andrew Pitts -- Categories in concurrency / Glynn Winskel and Mogens Nielsen.

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.

There are no comments on this title.

to post a comment.
Copyright © 2023 Sciencelib.ge All rights reserved.