Á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,
}











