000 00604nam a2200193Ia 4500
919 _a005114
020 _a0201172348
082 _a005.11
_bN903
245 _aLogical foundations of functional programming
_ced. by Gerard Huet
260 _aReading
_bAddison-Wesley
_c1990
300 _axvi, 491p.
490 _aUT year of programming series.
_v
690 _aFunctional programming (Computer science)
700 _aHuet, Gerard., ed.
_b
_c
999 _c5113
_d5113