Strong normalisation for the linear term calculus (1995)

by P N Benton
Venue:Journal of functional programming