Login / Signup

On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines.

Álvaro García-PérezPablo Nogueira
Published in: Sci. Comput. Program. (2014)
Keyphrases