Quantitative models and implicit complexity (2005)

by Ugo Dal Lago, Martin Hofmann
Venue:In Proceedings of Foundations of Software Technology and Theoretical Computer Science