A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers.

lvaro Garca-Prez, Pablo Nogueira

Browse the full PEPM paper archive.