A proof of strong normalisation using domain theory (2006)

by T Coquand, A Spiwack
Venue:In Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS’06