Calculi of generalised #-reduction and explicit substitutions: The type free and simply typed versions (1998)

by F Kamareddine, A Ros, J B Wells
Venue:J. Funct. Logic Programming