UID:
kobvindex_ZLB13507865
Umfang:
VIII, 330 Seiten
,
graph. Darst.
,
24 cm
ISBN:
354014031X
Serie:
Lecture notes in computer science 2646
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Typentheorie
;
Kongress
;
Berg-en-Dal 〈2002〉
;
Typsystem
;
Kongress
;
Berg-en-Dal 〈2002〉
;
Beweistheorie
;
Typentheorie
;
Kongress
;
Berg-en-Dal 〈2002〉
;
Programmierung
;
Typentheorie
;
Kongress
;
Berg-en-Dal 〈2002〉
;
Reduktionssystem
;
Typentheorie
;
Kongress
;
Berg-en-Dal 〈2002〉
;
Kongress
;
Konferenzschrift