000 00436nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540388913
100 _aG. Kahn, D.B. MacQueen, G. Plotkin
245 0 _aSemantics of Data Types
250 _a1984
260 _bSpringer Berlin Heidelberg
_c1984
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/3-540-13346-1
999 _c25479
_d25479