Lambda-Calculus and Combinators Hindley J. Roger (EN) 0 87 0 0 Полный текст — 0 стр., 13.04.2016 Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into li...