`Travelled to:`

1 × Austria

1 × France

1 × Italy

1 × Japan

`Collaborated with:`

K.Nour B.Guillaume ∅

`Talks about:`

calculus (3) strong (3) normal (3) arithmet (2) proof (2) type (2) symmetr (1) unsolv (1) result (1) recurs (1)

## Person: René David

### DBLP: David:Ren=eacute=

### Contributed to:

### Wrote 4 papers:

- TLCA-2007-DavidN #calculus #equation #normalisation #proving #recursion
- An Arithmetical Proof of the Strong Normalization for the λ -Calculus with Recursive Equations on Types (RD, KN), pp. 84–101.
- TLCA-2005-DavidN #normalisation #proving #symmetry #λ-calculus #μ-calculus
- Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.
- CSL-2003-DavidG #normalisation #λ-calculus
- Strong Normalization of the Typed λws-Calculus (RD, BG), pp. 155–168.
- TLCA-1999-David
- Every Unsolvable λ Term has a Decoration (RD), pp. 98–113.