Abstract computing machines : a lambda calculus perspective

W. Kluge
Bok · Engelsk · 2005 Werner Kluge

Utgitt	Berlin : Springer , c2005
Omfang	XIV, 384 s. : ill.
Emner	Abstrakte maskiner Automater (Matematikk) Lambda-kalkyle Matematisk logikk
ISBN	3540211462