Explicit Substitutions and Reducibility (2001)

Cached

Download Links

by Hugo Herbelin
Venue:Journal of Logic and Computation
Citations:7 - 1 self