Nicolas Guenot

12 papers B 2C 2Journal 1Unranked 6

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Multi-focused cut elimination. Math. Struct. Comput. Sci. Taus Brock-Nannestad, Nicolas Guenot
2015	C	`conf`	Computation in focused intuitionistic logic. PPDP Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson
2015	B	`conf`	Focused Linear Logic and the λ-calculus. MFPS Taus Brock-Nannestad, Nicolas Guenot
2015	—	`conf`	Sequent Calculus and Equational Programming. LFMTP Nicolas Guenot, Daniel Gustafsson
2014	—	`conf`	Cut Elimination in Multifocused Linear Logic. LINEARITY Taus Brock-Nannestad, Nicolas Guenot
2014	—	`conf`	Equality and fixpoints in the calculus of structures. CSL-LICS Kaustuv Chaudhuri, Nicolas Guenot
2014	—	`conf`	Hybrid Extensions in a Logical Framework. LFMTP Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
2014	—	`conf`	Symmetric normalisation for intuitionistic logic. CSL-LICS Nicolas Guenot, Lutz Straßburger
2013	—	`—`	Nested Deduction in Logical Foundations for Computation. (Deduction Imbriquée et Fondements Logiques du Calcul). Nicolas Guenot
2011	C	`conf`	Nested proof search as reduction in the Lambda-calculus. PPDP Nicolas Guenot
2011	B	`conf`	The Focused Calculus of Structures. CSL Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger
2010	—	`conf`	Focused Proof Search for Linear Logic in the Calculus of Structures. ICLP (Technical Communications) Nicolas Guenot