Format:
106 S.
,
graph. Darst.
ISBN:
3897225085
Note:
Zugl.: Darmstadt, Techn. Univ., Diss., 2000
Language:
German
Keywords:
Funktionale Programmiersprache
;
Programmanalyse
;
Operationale Semantik
;
Funktionale Semantik
;
Kategorientheorie
;
Bereichstheorie
;
Hochschulschrift
Bookmarklink