Ugo Dal Lago, Paolo Parisen Toldin. A Higher-Order Characterization of Probabilistic Polynomial Time. Pena, Ricardo and van Eekelen, Marko and Shkaravska, Olha.
Foundational and Practical Aspects of Resource Analysis, 2012, Madrid, Spain. Springer, 7177, pp.1--18, 2012, Lecture Notes in Computer Science.
〈10.1007/978-3-642-32495-6_1〉.
〈hal-00909376〉