Strong normalization from weak normalization in typed -calculi (0)

by M H Srensen
Venue:Journal of Information and Comuptation