`Travelled to:`

1 × Germany

1 × Poland

1 × Spain

`Collaborated with:`

V.Sassone ∅ M.John J.Niehren C.Versari

`Talks about:`

calculus (2) type (2) constraint (1) distribut (1) reaction (1) biochem (1) ambient (1) depend (1) infer (1) rule (1)

## Person: Cédric Lhoussaine

### DBLP: Lhoussaine:C=eacute=dric

### Contributed to:

### Wrote 3 papers:

- ESOP-2011-JohnLNV #constraints
- Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
- ESOP-2004-LhoussaineS #calculus
- A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.
- ESOP-2003-Lhoussaine #distributed #type inference #π-calculus
- Type Inference for a Distributed π-Calculus (CL), pp. 253–268.