A proof of strong normalisation using domain theory (2006)

by Thierry Coquand, et al.
Venue:IN LICS’06
Citations:13 - 1 self