Logic & Foundations of Mathematics, Computer Mathematics, Computer Science & Combinatorics, Mathematical Programming & Operations Research, Machine Theory

Abstract Computing Machines: A Lambda Calculus Perspective

Name: Abstract Computing Machines: A Lambda Calculus Perspective
Author: Kluge, Werner
ISBN: 9783642059384

by Kluge, Werner

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

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

About the Author, Kluge, Werner

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.