Felix Joachimski Ralph Matthes Standardization and Confluence for a Lambda Calculus with Generalized Applications. 141-155 2000 conf/rta/2000 RTA db/conf/rta/rta2000.html#JoachimskiM00 http://dx.doi.org/10.1007/10721975_10