`Travelled to:`

1 × Austria

1 × Denmark

1 × Italy

1 × Norway

1 × United Kingdom

`Collaborated with:`

∅ K.Chaudhuri L.Straßburger T.Brock-Nannestad D.Gustafsson

`Talks about:`

calculus (4) structur (3) logic (3) focus (3) intuitionist (2) search (2) proof (2) normalis (1) fixpoint (1) symmetr (1)

## Person: Nicolas Guenot

### DBLP: Guenot:Nicolas

### Contributed to:

### Wrote 6 papers:

- PPDP-2015-Brock-Nannestad #logic
- Computation in focused intuitionistic logic (TBN, NG, DG), pp. 43–54.
- LICS-CSL-2014-ChaudhuriG #calculus #fixpoint #similarity
- Equality and fixpoints in the calculus of structures (KC, NG), p. 10.
- LICS-CSL-2014-GuenotS #logic #normalisation #symmetry
- Symmetric normalisation for intuitionistic logic (NG, LS), p. 10.
- CSL-2011-ChaudhuriGS #calculus
- The Focused Calculus of Structures (KC, NG, LS), pp. 159–173.
- PPDP-2011-Guenot #proving #reduction #λ-calculus
- Nested proof search as reduction in the λ-calculus (NG), pp. 183–194.
- ICLP-2010-Guenot10 #calculus #linear #logic #proving
- Focused Proof Search for Linear Logic in the Calculus of Structures (NG), pp. 84–93.