Paolo Parisen Toldin

Identifiers

No identifiers captured yet.

Papers (2)

1. A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs cs.LO · 2013 · author #2
2. An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) cs.LO · 2012 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jean-Yves Moyen 1 shared papers
• Ugo Dal Lago 1 shared papers