Nicolas Guenot

According to our database, Nicolas Guenot authored at least 12 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2018

Multi-focused cut elimination.

Taus Brock-Nannestad, Nicolas Guenot

Math. Struct. Comput. Sci., 2018

2015

Focused Linear Logic and the λ-calculus.

Taus Brock-Nannestad, Nicolas Guenot

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Sequent Calculus and Equational Programming.

Nicolas Guenot, Daniel Gustafsson

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

Computation in focused intuitionistic logic.

Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Cut Elimination in Multifocused Linear Logic.

Taus Brock-Nannestad, Nicolas Guenot

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

Hybrid Extensions in a Logical Framework.

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

Symmetric normalisation for intuitionistic logic.

Nicolas Guenot, Lutz Straßburger

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Equality and fixpoints in the calculus of structures.

Kaustuv Chaudhuri, Nicolas Guenot

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

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

Nicolas Guenot

PhD thesis, 2013

2011

Nested proof search as reduction in the Lambda-calculus.

Nicolas Guenot

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

The Focused Calculus of Structures.

Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger

Proceedings of the Computer Science Logic, 2011

2010

Focused Proof Search for Linear Logic in the Calculus of Structures.

Nicolas Guenot

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010