S. Kamal Abdali

• A simple lambda-calculus model of programming languages