"A Simple Lambda-Calculus Model of Programming Languages, NYU Courant Institute, 1973" - читать интересную книгу автора (Kamal Abdali)