Format:
1 Online-Ressource (XII, 370 S.)
ISBN:
3540074163
,
0387074163
Series Statement:
Lecture notes in computer science 37
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Programmiersprache
;
Kombinatorische Logik
;
Datenverarbeitung
;
Lambda-Kalkül
;
Logik
;
Lambda-Kalkül
;
Metamathematik
;
Konferenzschrift
Bookmarklink