Explicit Substitutions for Objects and Functions (1998)

by Delia Kesner, Pablo E Mart'inez L'opez
Venue:In ALP/PLILP'98, LNCS 1490