Standardization and confluence for a lambda calculus with generalized applications (2000)

by F Joachimski, R Matthes
Venue:RTA’00, volume 1833 of LNCS