Abstract Computing Machines
Format: Print Book
ISBN: 9783540211464
Tax included.
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: H
Weight (Gram): 804