Format:
VIII, 404 S.
ISBN:
3540626883
Series Statement:
Lecture notes in computer science 1210
Language:
English
Subjects:
Computer Science
Keywords:
Typisierter Lambda-Kalkül
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Aufsatzsammlung
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0817/97006033-d.html