The Theory of Calculi with Explicit Substitutions Revisited.

Delia Kesner

Browse the full CSL paper archive.