Abstract Computing Machines : A Lambda Calculus Perspective

Author:by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.
Publisher:Springer-Verlag Berlin Heidelberg
ISBN:9783540273592 (electronic bk.) ; 9783540211464 (paper)
Publication Date:2005
其他作者:Kluge, W. ; Brauer, W. ; Rozenberg, G. ; Salomaa, A.
語言:zh
出版地:Berlin, Heidelberg :
Description

xiv, 384 p. ::89 fig., digital ;:25 cm.