Abstract Computing Machines

A Lambda Calculus Perspective

Authors:

ISBN: 978-3-540-21146-4 (Print) 978-3-540-27359-2 (Online)