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

by F Barbanera, M Fernandez
Venue:Proc. 1st Internat. Conf. on Typed Lambda Calculi and Applications, Lecture Notes in Computer Science