1. Lecture Notes in Computer Science;B. Accattoli,2009
2. Accattoli, B., Kesner, D.: The structural calculus λj. Technical report, PPS, CNRS and University Paris-Diderot (2010)
3. Ó Conchúir, S.: Proving PSN by simulating non-local substitutions with local substitution. In: Proceedings of the 3rd HOR, August 2006, pp. 37–42 (2006)
4. Danos, V., Regnier, L.: Reversible, irreversible and optimal lambda-machines. TCS 227(1), 79–97 (1999)
5. David, R., Guillaume, B.: A λ-calculus with explicit weakening and explicit substitution. MSCS 11, 169–206 (2001)