A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers | Publicación