A lambda-calculus ‘a la de bruijn with explicit substitutions (1995)

by F Kamareddine, A Rios
Venue:In Seventh International Conference on Programming Languages: Implementations, Logics and Programs (PLILP). Lecture Notes in Computer Science