"Kamal Abdali" - читать интересную книгу автора (A Lambda-Calculus Model of Programming Languages, I: Simple Constructs, J....)