A generalised fi-reduction and explicit substitutions (1996)

by F Kamareddine, A R'ios
Venue:In Proceedings of the 8th International Symposium of Programming Languages: Implementation, Logics and Programs, PLILP '96