Nina Bohr

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Neil D. Jones, Nina Bohr
Call-by-value Termination in the Untyped Lambda-calculus CoRR (2008)
Neil D. Jones, Nina Bohr
Call-by-Value Termination in the Untyped lambda-Calculus. Log. Methods Comput. Sci. 4 (1) (2008)
Nina Bohr, Lars Birkedal
Relational Reasoning for Recursive Types and References. APLAS (2006)
Neil D. Jones, Nina Bohr
Termination Analysis of the Untyped lamba-Calculus. RTA (2004)