Adding recursion to Dpi

Samuel Hym, Matthew Hennessy. Adding recursion to Dpi. Theoretical Computer Science, 373(3):182-212, 2007. [doi]

Authors

Samuel Hym

This author has not been identified. Look up 'Samuel Hym' in Google

Matthew Hennessy

This author has not been identified. Look up 'Matthew Hennessy' in Google