Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

by WernerKluge (Author)

Synopsis

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

$116.56

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 400
Publisher: Springer
Published: 18 Feb 2005

ISBN 10: 3540211462
ISBN 13: 9783540211464