Explicit Substitutions and Reducibility (0)

by H Herbelin
Venue:Journal of Logic and Computation