1. Full abstraction in the lazy lambda calculus;Abramsky;Inf. Comput.,1993
2. The useful MAM, a reasonable implementation of the strong λ-calculus;Accattoli,2016
3. The complexity of abstract machines;Accattoli,2017
4. (In)efficiency and reasonable cost models;Accattoli;Electron. Notes Theor. Comput. Sci.,2018
5. Environments and the complexity of abstract machines;Accattoli,2017