[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------] Hi, an updated version of my paper Strong Normalization from Weak Normalization in Typed Lambda-Calculi is now available at URL http://www.diku.dk/research-groups/topps/personal/rambo.html (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.