Kluge,, E. Abstract computing machines : a lambda calculus perspective / W. Kluge

Abstract computing machines : a lambda calculus perspective / W. Kluge . - Berlin : Springer, cop. 2005 . - XIV, 384 p. 25 cm . - (Texts in theoretical computer science - an EATCS series)
3-540-21146-2 Encadernado

510.5
519.6