UID:
kobvindex_ZLB15045442
Format:
XIII, 415 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642022722
Series Statement:
Lecture notes in computer science 5608
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Typisierter Lambda-Kalkül
;
Kongress
;
Brasília 〈2009〉
;
Computational logic
;
Kongress
;
Brasília 〈2009〉
;
Kategorientheorie
;
Kongress
;
Brasília 〈2009〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/994283113/04