Lambda Calculus with Types (Perspectives in Logic)

Lambda Calculus with Types (Perspectives in Logic)

  • £37.49
  • Save £32

Henk Barendregt, Wil Dekkers, Richard Statman
Cambridge University Press
Edition: Illustrated, 2013-06-20
EAN 9780521766142, ISBN10: 0521766141

Hardcover, 856 pages, 24.4 x 17 x 4.3 cm
Language: English

'The book has a place in undergraduate libraries because of its uniquely comprehensive, if theoretical, treatment of a timely, widely important subject. Recommended.' D. V. Feldman, Choice 'The authors have produced a well-written, organised and comprehensive account of three important type systems. These systems' properties have been rich sources of interest to logicians for many years; their problems are not all solved, and in future work this book will almost certainly become a standard reference about them. It will also allow the more mathematically inclined computer scientist to obtain a deeper understanding of the principles behind some of the higher order languages in current use.' Bulletin of the London Mathematical Society