Paolo Parisen Toldin
Identifiers
- name variant Paolo Parisen Toldin 0.60 · backfill
Papers (2)
- A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs cs.LO · 2013 · author #2
- An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) cs.LO · 2012 · author #2
Mentions
Frequent Coauthors
- Jean-Yves Moyen 1 shared papers
- Ugo Dal Lago 1 shared papers