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:
2015
2016Wrote 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.