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:
2015
2014
20112011
2010Wrote 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.