A proof of strong normalisation using domain theory (0)

by Thierry Coquand, Arnaud Spiwack
Venue:Logical Methods in Computer Science