Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren

Kluge, Werner. Abstract Computing Machines - A Lambda Calculus Perspective. Springer Berlin Heidelberg, 2010.

eng

Werner Kluge

Abstract Computing Machines

A Lambda Calculus Perspective

Springer Berlin Heidelberg
2010

Taschenbuch
400 Seiten
ISBN 9783642059384

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

106,99 €

inkl. MwSt.
zzgl. Versand

in Kürze