Nina Bohr

According to our database¹, Nina Bohr authored at least 3 papers between 2004 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Call-by-Value Termination in the Untyped lambda-Calculus.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

2006

Relational Reasoning for Recursive Types and References.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2004

Termination Analysis of the Untyped lamba-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004