@article{Dal_Lago_2015,
    doi = {10.1016/j.ic.2014.10.009},
    url = {https://doi.org/10.1016%2Fj.ic.2014.10.009},
    year = {2015},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {241},
    pages = {114--141},
    author = {Ugo Dal Lago and Paolo Parisen Toldin},
    title = {A higher-order characterization of probabilistic polynomial time},
    journal = {Information and Computation}
}

@article{Dal_Lago_2015, doi = {10.1016/j.ic.2014.10.009}, url = {https://doi.org/10.1016%2Fj.ic.2014.10.009}, year = {2015}, month = {apr}, publisher = {Elsevier {BV}}, volume = {241}, pages = {114--141}, author = {Ugo Dal Lago and Paolo Parisen Toldin}, title = {A higher-order characterization of probabilistic polynomial time}, journal = {Information and Computation} }