Abstract Computing Machines

Kluge, Werner

ISBN 10: 3540211462 / ISBN 13: 9783540211464

Editore: Springer, 2005

Riguardo questo articolo

Like New.

Codice articolo ERICA77335402114626

Dati bibliografici

• Titolo: Abstract Computing Machines
• Editore: Springer
• Data di pubblicazione: 2005
• Lingua: Inglese
• ISBN 10: 3540211462
• ISBN 13: 9783540211464
• Rilegatura: Hardcover
• Condizione: Like New
• Tipo di libro: book

Descrizione articolo

Riassunto

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

Informazioni sull?autore

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.