`Travelled to:`

1 × India

`Collaborated with:`

N.R.Krishnaswami N.Benton L.A.Kolodziejczyk H.Michalewski M.Skrzypczak

`Talks about:`

strength (1) theorem (1) linear (1) integr (1) depend (1) logic (1) decid (1) büchi (1) type (1)

## Person: Pierre Pradic

### DBLP: Pradic:Pierre

### Contributed to:

### Wrote 2 papers:

- POPL-2015-KrishnaswamiPB #dependent type #linear
- Integrating Linear and Dependent Types (NRK, PP, NB), pp. 17–30.
- CSL-2016-KolodziejczykMP #automaton #decidability #logic #theorem
- The Logical Strength of Büchi's Decidability Theorem (LAK, HM, PP, MS), p. 16.