A proof of strong normalisation using domain theory (2006)

by Thierry Coquand , Chalmers Tekniska Högskola
Venue:In LICS’06
Citations:13 - 1 self