000 00273nam a2200109 4500
008 160616s 000 0
245 _aLogical foundations of functional programming
100 _aHuet, G
500 _aD6,8(B) N03
942 _cBK
_2BK5712
080 _a681.3.06 HUET
999 _c5712
_d5712