Explicit Substitutions for the A . L \-Cakulus *