Adding Recursion to Dpi: (Extended Abstract)

Samuel Hym, Matthew Hennessy. Adding Recursion to Dpi: (Extended Abstract). Electronic Notes in Theoretical Computer Science, 156(1):115-133, 2006. [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