A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers - García Pérez, Álvaro; Nogueira Iglesias, Pablo (Pepm '13 Proceedings Of The Acm Sigplan 2013 Workshop On Partial Evaluation And Program Manipulation, 2013)