The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
CITATION STYLE
Abstract Computing Machines. (2005). Abstract Computing Machines. Springer-Verlag. https://doi.org/10.1007/b138965
Mendeley helps you to discover research relevant for your work.