1. Full abstraction in the lazy lambda calculus;Abramsky;Inf. Comput.,1993
2. Synthesis of max-plus quasi-interpretations;Amadio;Fundam. Inform.,2005
3. The call-by-need lambda calculus;Ariola;J. Funct. Program.,1997
4. Higher-order interpretations and program complexity;Baillot,2012
5. Introduction to Functional Programming;Bird,1988