Texts in Theoretical Computer Science. An EATCS Series

Abstract Computing Machines

Published 18 February 2005

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