LambdaCalculus and Combinators

RogerHindley写的lambda演算经典书籍Combinatorylogicandlambda-calculus,originallydevisedinthe1920s,havesincedevelopedintolinguistictools,especiallyusefulinprogramminglanguages.Theauthors'previousbookservedasthemainreferenceforintroductorycoursesonlambda-calculusforover20years:thisversion,firstpu