| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 4 |      | Neil D. Jones, Nina Bohr: Call-by-value Termination in the Untyped Lambda-calculus CoRR abs/0801.0882: (2008) |
| 3 | | Neil D. Jones, Nina Bohr: Call-by-Value Termination in the Untyped lambda-Calculus. Logical Methods in Computer Science 4(1): (2008) |
| 2006 | ||
| 2 | | Nina Bohr, Lars Birkedal: Relational Reasoning for Recursive Types and References. APLAS 2006: 79-96 |
| 2004 | ||
| 1 | | 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] [4] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page