Álvaro García-Pérez, Pablo Nogueira
On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines
PEPM, 2014.
@article{PEPM-J-2013-Garcia-PerezN14, author = "Álvaro García-Pérez and Pablo Nogueira", doi = "10.1016/j.scico.2014.05.011", journal = "{Science of Computer Programming}", pages = "176--199", title = "{On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines}", volume = 95, year = 2014, }