000 00451nam a22001577a 4500
005 20150812055754.0
008 150812b xxu||||| |||| 00| 0 eng d
020 _a0-521-31839-4
040 _aKYUCL
_cKYUC
041 _aEN
050 _aQA 9.5
_b.H56 1986
245 _aIntroduction to combinators and -Calculus
_cHindley, J. Roger [and] Jonathan P. Sedin
260 _aUSA,
_bCambridge university press.
_c1986
300 _a260p.
942 _2lcc
_cLLB
999 _c1583
_d1583