A lambda-calculus with explicit weakening and explicit substitution.

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases