Travelled to:1 × Belgium
1 × Serbia
Collaborated with:∅ R.M.Amadio
Talks about:multithread (2) calculus (2) effect (2) side (2) elementari (1) polynomi (1) affin (1) time (1)
Person: Antoine Madet
DBLP: Madet:Antoine
Contributed to:
2012
2011Wrote 2 papers:
- PPDP-2012-Madet #multi #polynomial #thread #λ-calculus
- A polynomial time λ-calculus with multithreading and side effects (AM), pp. 55–66.
- TLCA-2011-MadetA #multi #thread #λ-calculus
- An Elementary Affine λ-Calculus with Multithreading and Side Effects (AM, RMA), pp. 138–152.