Travelled to:1 × Canada
1 × Italy
1 × Japan
1 × Portugal
1 × Spain
Collaborated with:J.Marion M.Gaboardi E.Hainry
Talks about:interpret (2) complex (2) analysi (2) intension (1) coalgebra (1) character (1) polynomi (1) calculus (1) resourc (1) process (1)
Person: Romain Péchoux
DBLP: P=eacute=choux:Romain
Contributed to:
2015
2013
2009
2008
2006Wrote 5 papers:
- ICFP-2015-GaboardiP #algebra #λ-calculus
- Algebras and coalgebras in the light affine λ calculus (MG, RP), pp. 114–126.
- FoSSaCS-2013-HainryMP #analysis #complexity #process #type system
- Type-Based Complexity Analysis for Fork Processes (EH, JYM, RP), pp. 305–320.
- CSL-2009-GaboardiP #bound #semantics #using
- Upper Bounds on Stream I/O Using Semantic Interpretations (MG, RP), pp. 271–286.
- PPDP-2008-MarionP #complexity #polynomial
- Characterizations of polynomial complexity classes with a better intensionality (JYM, RP), pp. 79–88.
- FLOPS-2006-MarionP #analysis
- Resource Analysis by Sup-interpretation (JYM, RP), pp. 163–176.