Description
Abstract Computing Machines, Softcover reprint of hardcover 1st ed. 2005
A Lambda Calculus Perspective
Coll. Texts in Theoretical Computer Science. An EATCS
Author: Kluge Werner
Language: FrenchSubject for Abstract Computing Machines:
84,35 €
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Add to cart the book of Kluge WernerPublication date: 11-2010
384 p. · 15.5x23.5 cm · Broché
Publication date: 02-2005
384 p. · 15.5x23.5 cm · Relié
Résumé
/li>Sommaire
/li>Biographie
/li>Commentaire
/li>
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Received a Dr. rer. nat. degree in physics from the Technical University Munich/Germany in 1968; worked in industrie/research institutes at the central laboratories of Siemens AG between 1963 and 1968, at Bell Northern Research Ltd in Ottawa/Canada between 1969, and 1972 at the Gesellschaft fuer Mathematik und Datenverarbeitung in St. Augustin/Germany between 1973 and 1978; became an associate professor of computer science at the University of Bonn/Germany in 1978; became a full professor of computer science at the University of Kiel/Germany retired in 2003.