Damien Pous

Identifiers

• name variant Damien Pous 0.60 · backfill

Papers (2)

1. Program certification with computational effects cs.LO · 2014 · author #4
2. A Distribution Law for CCS and a New Congruence Result for the pi-calculus cs.LO · 2006 · author #2

Mentions

• 1411.7140 #4 · backfill · confidence 0.70 Damien Pous

Frequent Coauthors

• Burak Ekici 1 shared papers
• Daniel Hirschkoff 1 shared papers
• Dominique Duval 1 shared papers
• Jean-Guillaume Dumas 1 shared papers