Strong normalization from weak normalization in typed λ-calculi (1997)

Cached

Download Links

by Morten Heine Sørensen
Venue:Information and Computation
Citations:4 - 1 self