Lambda-Calculus and Combinators: An Introduction

Hindley, J. Roger; Seldin, Jonathan P.

ISBN 10: 0521898854 / ISBN 13: 9780521898850

Verlag: Cambridge University Press, 2008

Beschreibung

Bestandsnummer des Verkäufers I-9780521898850

Bibliografische Details

• Titel: Lambda-Calculus and Combinators: An Introduction
• Verlag: Cambridge University Press
• Erscheinungsjahr: 2008
• Sprache: Englisch
• ISBN-10: 0521898854
• ISBN-13: 9780521898850
• Einband: Hardcover
• Auflage: 2. Auflage
• Zustand: New

Über diesen Titel

Inhaltsangabe

This book, first published in 2008, 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.

Über die Autorinnen und Autoren

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.

Jonathan P. Seldin is a Professor in the Department of Mathematics and Computer Science at the University of Lethbridge in Alberta, Canada.