Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Publisher: Springer
Published: Mar 30, 2006
Number of pages: 400
ISBN-13: 9783540273592