Format:
XXII, 884 S.
,
graph. Darst.
Edition:
1. publ.
ISBN:
9780521391153
,
0521391156
Series Statement:
Cambridge tracts in theoretical computer science 55
Note:
Literaturverz. S. 826 - 857
Language:
English
Subjects:
Computer Science
Keywords:
Termersetzungssystem
;
Lambda-Kalkül
Author information:
Klop, Jan Willem 1945-
Bookmarklink