Patrick Baillot (LIP)

Identifiers

• name variant Patrick Baillot (LIP) 0.60 · backfill

Papers (2)

1. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2010 · author #2
2. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2009 · author #2

Mentions

• 1005.0835 #2 · backfill · confidence 0.70 Patrick Baillot (LIP)
• 0912.0419 #2 · backfill · confidence 0.70 Patrick Baillot (LIP)

Frequent Coauthors

• Antoine Madet (PPS) 2 shared papers
• Roberto Amadio (PPS) 2 shared papers