Quantitative models and implicit complexity (2005)

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