Sat, 01 Jan 2005 00:00:00 +0100

Abstract Computing Machines - A Lambda Calculus Perspective. Texts in Theoretical Computer Science. An EATCS Series, Springer 2005, ISBN 978-3-540-21146-4, pp. 1-384