The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

"Abstract Machines: Samuel Beckett and Philosophy after Deleuze and Guattari" is an innovative approach to the relationship of the work of Samuel Beckett to phi

Diagrams: Tropes, Tools and Abstract Machines examines the pervasive roles of diagrams as analytical, generative, narrative and critical devices manifest in des

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.