num_pages: 400
description: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
language: English
title: Abstract Computing Machines
publisher: Springer