Simultaneous Substitution in the Typed Lambda Calculus.

John W. Gray

Browse the full MFPS paper archive.