Ulrich Berger Continuous Semantics for Strong Normalization. 23-34 2005 conf/cie/2005 CiE http://dx.doi.org/10.1007/11494645_4 db/conf/cie/cie2005.html#Berger05a