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

by F Joachimski, R Matthes
Venue:In Proc. of RTA’00, LNCS 1833