Ugo Dal Lago, Paolo Parisen Toldin. A Higher-Order Characterization of Probabilistic Polynomial Time. In Ricardo Peña, Marko C. J. D. van Eekelen, Olha Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Volume 7177 of Lecture Notes in Computer Science, pages 1-18, Springer, 2011. [doi]
Abstract is missing.