Abstract Computing Machines
Download Abstract Computing Machines PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Abstract Computing Machines book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Abstract Computing Machines
Author: Werner Kluge
language: en
Publisher: Springer Science & Business Media
Release Date: 2005-12-02
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Abstract State Machines
Author: Egon Börger
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06