lambda_beta' - A - lambda-Calculus with a Generalized beta-Reduction Rule.

Sundeep Oberoi lambda_beta' - A - lambda-Calculus with a Generalized beta-Reduction Rule. 45-53 1995 54 Inf. Process. Lett. 1 db/journals/ipl/ipl54.html#Oberoi95 http://dx.doi.org/10.1016/0020-0190(94)00225-N