| |
| 2008 | ||
|---|---|---|
| 3 | EE | Neil D. Jones, Nina Bohr: Call-by-value Termination in the Untyped Lambda-calculus CoRR abs/0801.0882: (2008) |
| 2006 | ||
| 2 | EE | Nina Bohr, Lars Birkedal: Relational Reasoning for Recursive Types and References. APLAS 2006: 79-96 |
| 2004 | ||
| 1 | EE | Neil D. Jones, Nina Bohr: Termination Analysis of the Untyped lamba-Calculus. RTA 2004: 1-23 |
| 1 | Lars Birkedal | [2] |
| 2 | Neil D. Jones | [1] [3] |