Nicolas Guenot

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 4

Top Topics

Proof Theoretic

Cut Elimination

Top Venues

Math. Struct. Comput. Sci.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Taus Brock-Nannestad, Nicolas Guenot
Multi-focused cut elimination. Math. Struct. Comput. Sci. 28 (5) (2018)
Nicolas Guenot, Daniel Gustafsson
Sequent Calculus and Equational Programming. LFMTP (2015)
Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson
Computation in focused intuitionistic logic. PPDP (2015)
Taus Brock-Nannestad, Nicolas Guenot
Focused Linear Logic and the λ-calculus. MFPS (2015)
Taus Brock-Nannestad, Nicolas Guenot
Cut Elimination in Multifocused Linear Logic. LINEARITY (2014)
Kaustuv Chaudhuri, Nicolas Guenot
Equality and fixpoints in the calculus of structures. CSL-LICS (2014)
Nicolas Guenot, Lutz Straßburger
Symmetric normalisation for intuitionistic logic. CSL-LICS (2014)
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
Hybrid Extensions in a Logical Framework. LFMTP (2014)
Nicolas Guenot
Nested proof search as reduction in the Lambda-calculus. PPDP (2011)
Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger
The Focused Calculus of Structures. CSL (2011)
Nicolas Guenot
Focused Proof Search for Linear Logic in the Calculus of Structures. ICLP (Technical Communications) (2010)