WN => SN

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


an updated version of my paper 

   Strong Normalization from Weak Normalization in Typed Lambda-Calculi

is now available at URL


(Click on publications and look at the last paper). Comments and criticism
are very welcome, especially if I refer to one of your papers.

Morten heine Sorensen.