Derivational Complexity Is an Invariant Cost Model

Ugo Dal Lago, Simone Martini. Derivational Complexity Is an Invariant Cost Model. In Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Volume 6324 of Lecture Notes in Computer Science, pages 100-113, Springer, 2009. [doi]

Authors

Ugo Dal Lago

This author has not been identified. Look up 'Ugo Dal Lago' in Google

Simone Martini

This author has not been identified. Look up 'Simone Martini' in Google