1. Peter Aczel, A general Church–Rosser theorem, Technical report, University of Manchester, 1978.
2. Minimal classical logic and control operators;Ariola,2003
3. Parallel reduction in type free λμ-calculus;Baba;Electron. Notes Theor. Comput. Sci.,2001
4. A symmetric lambda calculus for classical program extraction;Barbanera;Inform. and Comput.,1996
5. CPS translating inductive and coinductive types;Barthe,2002