J. Roger Hindley (Swansea University of Wales), Jonathan P. Seldin (Alberta University of Lethbridge)

Gebundenes Buch

Lambda-Calculus and Combinators

An Introduction

Beschreibung

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Autor

J. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th book.

Produktdetails

• Verlag: Cambridge University Press
• 2 Revised edition
• Seitenzahl: 358
• Erscheinungstermin: 22. Februar 2013
• Englisch
• Abmessung: 235mm x 157mm x 26mm
• Gewicht: 676g
• ISBN-13: 9780521898850
• ISBN-10: 0521898854
• Artikelnr.: 23548454