Format:
1 Online-Ressource (VIII, 159 S.)
ISBN:
3540097244
,
0387097244
Series Statement:
Lecture notes in computer science 78
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Lambda-Kalkül
;
LISP
;
Berechenbarkeit
;
Programmverifikation
DOI:
10.1007/3-540-09724-4
Bookmarklink