Michele Pagani (PPS)

Identifiers

• name variant Michele Pagani (PPS) 0.60 · backfill

Papers (1)

1. Full abstraction for probabilistic PCF cs.LO · 2015 · author #2

Mentions

• 1511.01272 #2 · backfill · confidence 0.70 Michele Pagani (PPS)

Frequent Coauthors

• Christine Tasson (PPS) 1 shared papers
• Thomas Ehrhard (PPS) 1 shared papers