Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS)

by Werner Kluge

0 ratings • 0 reviews • 0 shelved
Book cover for Abstract Computing Machines
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
  • ISBN13 9783642059384
  • Publish Date 10 November 2010 (first published 18 February 2005)
  • Publish Status Active
  • Publish Country DE
  • Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Edition Softcover reprint of hardcover 1st ed. 2005
  • Format Paperback
  • Pages 384
  • Language English