MTU Library Catalogue

Syndetics cover image
Image from Syndetics

Lambda calculi : a guide for the perplexed / Chris Hankin.

By: Hankin, Chris.
Material type: materialTypeLabelBookSeries: Graduate texts in computer science ; 3.Publisher: Oxford [England] : New York : Clarendon Press ; Oxford University Press, 1994Description: 162 p. ; 23 cm. + pbk.ISBN: 0198538413 ; 0198538405 (pbk.) .Subject(s): Lambda calculusDDC classification: 512
Contents:
Introduction -- Notation and the basic theory -- Reduction -- Combinatory logic -- Semantics -- Computability -- Types -- Practical issues -- Other calculi.
Holdings
Item type Current library Call number Copy number Status Barcode
General lending MTU Bishopstown Library Lending 512 (Browse shelf(Opens below)) 1 Available 00014871
Total holds: 0

Enhanced descriptions from Syndetics:

Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on programming language design and implementation, denotational semantics and domain theory. This book is written from a systems perspective, emphasizing the practical relevance of many of the key theoretical ideas.

Bibliography: (pages 157-158) and index.

Introduction -- Notation and the basic theory -- Reduction -- Combinatory logic -- Semantics -- Computability -- Types -- Practical issues -- Other calculi.

Table of contents provided by Syndetics

  • 1 Introduction
  • 2 Notation and basic theory
  • 3 Reduction
  • 4 Combinatory logic
  • 5 Semantics
  • 6 Computability
  • 7 Types
  • 8 Practical issues
  • 9 Other calculi
  • 10 Further reading
  • Bibliography
  • Index