TY  - RPRT
TI  - An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)
AU  - Ugo Dal Lago
AU  - Paolo Parisen Toldin
PY  - 2012
UR  - https://arxiv.org/abs/1202.3317
ID  - 1202.3317
ER  -