Publisher description for Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer.
Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
The aim of this volume is to present modern 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 have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.
Library of Congress subject headings for this publication: Electronic data processing, Programming languages (Electronic computers) Semantics, Logic, Symbolic and mathematical