Nina Bohr

	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

Coauthor Index

1	Lars Birkedal	[2]
2	Neil D. Jones	[1] [3] [4]

Colors in the list of coauthors