A domain model characterising strong normalisation (0)

by U Berger
Venue:Annals of Pure and Applied Logic