Focused Proof Search for Linear Logic in the Calculus of Structures. - Nicolas Guenot (ICLP (Technical Communications), 2010)

The Focused Calculus of Structures. - Kaustuv Chaudhuri; Nicolas Guenot; Lutz Straßburger (CSL, 2011)

Nested proof search as reduction in the Lambda-calculus. - Nicolas Guenot (PPDP, 2011)

Nested Deduction in Logical Foundations for Computation. (Deduction Imbriquée et Fondements Logiques du Calcul). - Nicolas Guenot (2013)

Equality and fixpoints in the calculus of structures. - Kaustuv Chaudhuri; Nicolas Guenot (CSL-LICS, 2014)

Symmetric normalisation for intuitionistic logic. - Nicolas Guenot; Lutz Straßburger (CSL-LICS, 2014)

Hybrid Extensions in a Logical Framework. - Taus Brock-Nannestad; Nicolas Guenot; Agata Murawska; Carsten Schürmann 001 (LFMTP, 2014)

Cut Elimination in Multifocused Linear Logic. - Taus Brock-Nannestad; Nicolas Guenot (LINEARITY, 2014)

Computation in focused intuitionistic logic. - Taus Brock-Nannestad; Nicolas Guenot; Daniel Gustafsson (PPDP, 2015)

Sequent Calculus and Equational Programming. - Nicolas Guenot; Daniel Gustafsson (LFMTP, 2015)

Focused Linear Logic and the λ-calculus. - Taus Brock-Nannestad; Nicolas Guenot (MFPS, 2015)

Multi-focused cut elimination. - Taus Brock-Nannestad; Nicolas Guenot (Math. Struct. Comput. Sci., 2018)