Combining first and higher order rewrite systems with type assignment systems (1993)

by F Barbanera, M Fernández
Venue:In Proc. of the 1st Int. Conf. on Typed Lambda Calculi and Applications, LNCS 664