Antoine Madet (PPS)

Identifiers

• name variant Antoine Madet (PPS) 0.60 · backfill

Papers (4)

1. A polynomial time {\lambda}-calculus with multithreading and side effects cs.PL · 2012 · author #1
2. Elementary affine $lambda$-calculus with multithreading and side effects cs.PL · 2011 · author #1
3. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2010 · author #3
4. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2009 · author #3

Mentions

• 1209.5851 #1 · backfill · confidence 0.70 Antoine Madet (PPS)
• 1102.4971 #1 · backfill · confidence 0.70 Antoine Madet (PPS)
• 1005.0835 #3 · backfill · confidence 0.70 Antoine Madet (PPS)
• 0912.0419 #3 · backfill · confidence 0.70 Antoine Madet (PPS)

Frequent Coauthors

• Patrick Baillot (LIP) 2 shared papers
• Roberto Amadio (PPS) 2 shared papers
• Roberto M. Amadio (PPS) 1 shared papers