1. A proof-theoretic foundation of abortive continuations;Ariola;Higher-Order and Symbolic Computation,2007
2. Parallel reduction in type free lambda/mu-calculus;Baba;Electronic Notes in Theoretical Computer Science,2001
3. The Lambda Calculus;Barendregt,1984
4. Explicit substitution: on the edge of strong normalization;Bloo;Theoretical Computer Science,1999
5. On sequence-conclusion natural deduction systems;Boričić;Journal of Philosophical Logic,1985