A Higher-Order Characterization of Probabilistic Polynomial Time - Dal Lago, Ugo; Parisen Toldin, Paolo (Foundational and Practical Aspects of Resource Analysis, 2012)
Keywords: Error Probability; Inference Rule; Normal Form; Polynomial Time; Turing Machine