Publications

2024

• Denis Béchet and Annie Foret. BibTeX PDF DOI URL
  Categorial Dependency Grammars extended with barriers (CDGb) yield an Abstract Family of Languages (AFL).
  In David C. Wyld and Dhinaharan Nagamalai, editors, Proceedings of the 5th International Conference on Natural Language Processing and Computational Linguistics (NLPCL 2024), September 21–22, 2024, Copenhagen, Denmark, pages 53–66, Septembre 2024.
  
  

2023

• Denis Béchet and Annie Foret. BibTeX DOI URL
  Categorial Dependency Grammars: Analysis and Learning.
  In Loukanova, Roussanka, Lumsdaine, Peter LeFanu, and Muskens, Reinhard, editors, Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), volume 1081 of Studies in Computational Intelligence, pages 31–56. Springer, Cham, 2023. Edited results of LACompLing2021, ISBN 978-3-031-21779-1.
  
  

2022

• Annie Foret, Denis Béchet, and Valérie Bellynck. BibTeX PDF URL
  Iterated Dependencies in a Breton treebank and implications for a Categorial Dependency Grammar.
  In Theodorus Fransen, William Lamb, and Delyth Prys, editors, Proceedings of the 4th Celtic Language Technology Workshop iat LREC 2022 (CLTW 4), Marseille, France, pages 40–46. European Language Resources Association, June 2022.
  
  

2021

• Denis Béchet and Annie Foret. BibTeX URL
  Categorial Dependency Grammars: Analysis and Learning (Invited Talk).
  In Ljungström, Axel, Loukanova, Roussanka, Lumsdaine, Peter LeFanu, and Muskens, Reinhard, editors, Proceedings of the SymposiumLogic and Algorithms in Computational Linguistics 2021 (LACompLing2021), pages 32–33. Stockholm University, 2021, DiVA Portal for Digital Publications, 2021. Conference webpage: https://staff.math.su.se/rloukanova/LACompLing2021-web/.
  
  
• Denis Béchet and Annie Foret. BibTeX DOI URL
  Incremental learning of iterated dependencies.
  Machine Learning, March 2021. ISSN 1573-0565.
  
  

2019

• Denis Béchet and Annie Foret. BibTeX DOI URL
  On Categorial Grammatical Inference and Logical Information Systems.
  In Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing, Volume 860, pages 125-153. Springer International Publishing, October 2019.
  
  

2017

• Denis Béchet and Michael Dekhtyar. BibTeX DOI URL
  Biography of Alexandre Dikovsky.
  Journal of Logic, Language and Information, 26(4):333–340. Springer Verlag, December 2017. ISSN 0925-8531.
  
  

2016

• Denis Béchet and Annie Foret. BibTeX Draft
  Simple K-star Categorial Dependency Grammars and their Inference.
  In Sicco Verwer, Menno van Zaanenand, and Rick Smetsers, editors, The 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5–7, 2016. Proceedings, pages 1–12, 2016.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft DOI URL
  Categorial Dependency Grammars with Iterated Sequences.
  In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, and Christian Retoré, editors, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings, volume 10054 of Lecture Notes in Computer Science (LNCS), pages 34–51. Springer-Verlag, 2016. ISBN 978-3-662-53825-8.
  
  

2015

• Denis Béchet and Ophélie Lacroix. BibTeX URL
  CDGFr, un corpus en dépendances non-projectives pour le français.
  In Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles, June 2015, Caen, France, pages 522–528. Association pour le Traitement Automatique des Langues, 2015. Short paper in French.
  
  

2014

• Ophélie Lacroix and Denis Béchet. BibTeX Draft URL
  A Three-Step Transition-Based System for Non-Projective Dependency Parsing.
  In COLING 2014, 25th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, August 23-29, 2014, Dublin, Ireland, pages 224–232, August 2014.
  
  
• Denis Béchet. BibTeX Draft DOI
  NP-Completeness of Grammars Based upon Products of Free Pregroups.
  In Claudia Casadio, Bob Coecke, Michael Moortgat, and Philip Scott, editors, Categories and Types in Logic, Language, and Physics, Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, volume 8222 of Lecture Notes in Computer Science (LNCS), pages 51–62. Springer-Verlag, 2014. ISBN 978-3-642-54788-1.
  
  
• Ophélie Lacroix and Denis Béchet. BibTeX Draft
  Validation Issues induced by an Automatic Pre-Annotation Mechanism in the Building of Non-projective Dependency Treebanks.
  In Nicoletta Calzolari (Conference Chair), Khalid Choukri, Thierry Declerck, Hrafn Loftsson, Bente Maegaard, Joseph Mariani, Asuncion Moreno, Jan Odijk, and Stelios Piperidis, editors, Proceedings of the Ninth International Conference on Language Ressources and Evaluation (LREC 2014), Reykjavik, Iceland, May 26–31, 2014, pages 4082–4086. European Language Resources Association (ELRA), May 2014. ISBN 978-2-9517408-8-4.
  
  
• Ophélie Lacroix, Denis Béchet, and Florian Boudin. BibTeX Draft
  Label Pre-annotation for Building Non-projective Dependency Treebanks for French.
  In Alexander Gelbukh, editor, Computational Linguistics and Intelligent Text Processing, 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6–12, 2014, Proceedings, pages 1–12, 2014. (poster).
  
  
• Denis Béchet, Alexander Dikovsky, and Ophélie Lacroix. BibTeX Draft DOI
  ``CDG Lab'': an Integrated Environment for Categorial Dependency Grammar and Dependency Treebank Development.
  In Kim Gerdes, Eva Hajičová, and Leo Wanner, editors, Computational Dependency Theory, volume 258 of Frontiers in Artificial Intelligence and Applications, pages 153–169. IOS Press, 2014. ISBN 978-1-61499-351-3.
  
  

2012

• Ramadan Alfared and Denis Béchet. BibTeX Draft URL
  On the Adequacy of Three POS Taggers and a Dependency Parser.
  In Alexander Gelbukh, editor, Computational Linguistics and Intelligent Text Processing, 13th International Conference, CICLing 2012, New Delhi, India, March 11–17, 2012, Proceedings, Part I, volume 7181 of Lecture Notes in Computer Science (LNCS), pages 104–116. Springer-Verlag, 2012. ISBN 978-3-642-28603-2.
  
  
• Denis Béchet and Alexandre Dikovsky, editors. BibTeX DOI URL
  Logical Aspects of Computational Linguistics, 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings.
  In volume 7351 of Lecture Notes in Computer Science (LNCS), Springer-Verlag, 2012. ISBN 978-3-642-31261-8.
  
  
• Denis Béchet, Alexander Dikovsky, and Annie Foret. BibTeX Draft DOI
  Two models of learning iterated dependencies.
  In Philippe de Groote and Mark-Jan Nederhof, editors, Formal Grammar, 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Lubljana, Slovenia, August 2011, Revised Selected Papers, volume 7395 of Lecture Notes in Computer Science (LNCS), pages 17–32. Springer-Verlag, 2012. ISBN 978-3-642-32023-1.
  
  
• Ramadan Alfared, Denis Béchet, and Alexander Dikovsky. BibTeX Draft URL
  Calcul des cadres de sous catégorisation des noms déverbaux français (le cas du génitif).
  In Georges Antoniadis, Hervé Blanchon, and Gilles Sérasset, editors, Actes de la conférence conjointe JEP-TALN-RECITAL 2012, 4–8 Juin 2012, Grenoble, France, pages 71–84, 2012. In French.
  
  
• Denis Béchet, Alexandre Dikovsky, and Annie Foret. BibTeX Draft DOI URL
  Categorial grammars with iterated types form a strict hierarchy of k-valued languages.
  Theoretical Computer Science, 450:22–30, 2012. Selection of articles from Implementation and Application of Automata (CIAA 2011), ISSN 0304-3975.
  
  

2011

• Denis Béchet, Alexandre Dikovsky, and Annie Foret. BibTeX Draft DOI URL
  On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types.
  In Sylvain Pogodalla and Jean-Philippe Prost, editors, Logical Aspects of Computational Linguistics, 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings, volume 6736 of Lecture Notes in Artificial Intelligence (LNAI), pages 80–95. Springer-Verlag, 2011. ISBN 978-3-642-22220-7.
  
  
• Denis Béchet, Alexandre Dikovsky, and Annie Foret. BibTeX Draft DOI URL
  Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages.
  In Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, and Denis Maurel, editors, Implementation and Application of Automata, 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, volume 6807 of Lecture Notes in Computer Science (LNCS), pages 42–52. Springer, 2011. ISBN 978-3-642-22255-9.
  
  
• Ramadan Alfared, Denis Béchet, and Alexander Dikovsky. BibTeX Draft URL
  CDG Lab: a Toolbox for Dependency Grammars and Dependency Treebanks Development.
  In Kim Gerdes, Eva Hajičová, and Leo Wanner, editors, Proceedings of the 1st International Conference on Dependency Linguistics (Depling 2011), Barcelona, Spain, September 5–7 2011, 2011. Short paper, ISBN 978-84-615-1834-0.
  
  
• Denis Béchet. BibTeX Slides URL
  Non-projective Axioms for Pregroup Grammars as Cut Eliminations.
  In Proceedings of the Workshop Joachim Lambek, Mathematics, Logic and Language, Chieti, Italy, 8–9 July, 2011, 2011.
  
  
• Denis Béchet, Alexandre Dikovsky, and Annie Foret. BibTeX Draft
  Sur les itérations dispersées et les choix itérés pour l'apprentissage incrémental des types dans les grammaires de dépendances.
  In 7e Plateforme AFIA, Association Française pour l'Intelligence Artificielle, Chambéry, 17–20 mai 2011, pages 87–102. Presses Universitaires des Antilles et de la Guyane, Éditions Publibook, 2011. ISBN 978-27-483-6423-1.
  
  

2010

• Denis Béchet, Alexander Dikovsky, and Annie Foret. BibTeX Draft URL
  Two models of learning iterated dependencies.
  In Markus Egg, Philippe de Groote, Laura Kallmeyer, and Mark-Jan Nederhof, editors, Proceedings of the 15th International Conference on Formal Grammar (FG10), Copenhagen, Denmark, August 7-8, 2010, pages 1–16, 2010.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft URL
  A Pregroup Toolbox for Parsing and Building Grammars of Natural Languages.
  Linguistic Analysis, 36(1-4):473–482, 2010. ISSN 0098-9053.
  
  

2009

• Denis Béchet and Annie Foret. BibTeX Draft URL
  PPQ : a pregroup parser using majority composition.
  In Timothy Fowler and Gerald Penn, editors, Proceedings of the ESSLLI 2009 Workshop on Parsing with Categorial Grammars, 20-24 July 2009, Bordeaux, France, pages 33–37, 2009.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft URL
  Une boîte a outils pour développer et utiliser les grammaires de prégroupe.
  In Eric de la Clergerie and Patrick Paroubek, editors, Actes de la journée ATALA ``Quels analyseurs syntaxiques pour le français ?'', Paris, France, octobre 2009, 2009. (in French).
  
  

2008

• Denis Béchet, Alexander Dikovsky, Annie Foret, and Emmanuelle Garel. BibTeX Draft DOI URL
  Optional and Iterated Types for Pregroup Grammars.
  In Carlos Martìn-Vide, Friedrich Otto, and Henning Fernau, editors, Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers, volume 5196 of Lecture Notes in Computer Science (LNCS), pages 88–100. Springer, 2008. ISBN 978-3-540-88281-7.
  
  
• Denis Béchet and Sylvain Lippi. BibTeX Draft DOI URL
  Hard combinators.
  In Ian Mackie and Detlef Plump, editors, Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), Braga, Portugal, 31 March 2007, volume 203, Issue 1 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 31–48. Elsevier, 2008. ISSN 1571-0661.
  
  
• Denis Béchet and Sylvain Lippi. BibTeX Draft DOI URL
  Universal Boolean Systems.
  In Ian Mackie and Detlef Plump, editors, Proceedings of the Fourth International Workshop on Computing with terms and graphs, TERMGRAPH 2007, Braga, Portugal, 31 March 2007, volume 203, Issue 1 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 19–30. Elsevier, 2008. ISSN 1571-0661.
  
  
• Denis Béchet, Alexander Dikovsky, Annie Foret, and Emmanuelle Garel. BibTeX Draft
  Introduction of Option and Iteration into Pregroup Grammars.
  In Claudia Casadio and Joachim Lambek, editors, Computational Algebraic Approaches to Natural Language, pages 85–107. Polimetrica, Monza (Milan), Italy, 2008. ISBN 978-88-7699-125-7.
  
  
• Annie Foret and Denis Béchet. BibTeX URL
  Analyses et Acquisition de Grammaires Catégorielles et de Prégroupes.
  In Daniela Bargelli, editor, Actes de l'atelier ``Grammaires de prégroupes et grammaires de types'' du 76ème Congrès de l'Acfas, Quebec, Canada, 5 mai 2008, 2008.
  
  

2007

• Denis Béchet and Annie Foret. BibTeX Draft DOI URL
  Fully Lexicalized Pregroup Grammars.
  In Daniel Leivant and Ruy de Queiroz, editors, Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings, volume 4576 of Lecture Notes in Computer Science (LNCS), pages 12–25. Springer, 2007. ISBN 978-3-540-73443-7.
  
  
• Denis Béchet. BibTeX Draft DOI
  Parsing pregroup grammars and Lambek calculus using partial composition.
  Studia logica, 87(2/3):199–224, 2007. ISSN 0039-3215.
  
  
• Denis Béchet, Annie Foret, and Isabelle Tellier. BibTeX Draft DOI
  Learnability of Pregroup Grammars.
  Studia logica, 87(2/3):225–252, 2007. ISSN 0039-3215.
  
  
• Denis Béchet, Roberto Bonato, Alexandre Dikovsky, Annie Foret, Le Nir, Yannick, Erwan Moreau, Christian Retoré, and Isabelle Tellier. BibTeX URL
  MODÈLES ALGORITHMIQUES DE L'ACQUISTION DE LA SYNTAXE : concepts et méthodes, résultats et problèmes.
  Recherches linguistiques de Vincennes, 36:123–151, 2007. ISBN 978-2-84292-208-5, ISSN 0986-6124.
  
  
• Denis Béchet. BibTeX Slides URL
  A Parser for Pregroup Grammars Based on Partial Composition.
  In Daniela Bargelli and Annie Foret, editors, Proceedings of the Workshop on Lambek's formalisms, Toulouse, France, 9 June, 2007, 2007.
  
  

2006

• Denis Béchet and Annie Foret. BibTeX Draft DOI
  k-Valued non-associative Lambek grammars are learnable from generalized functor-argument structures.
  Theoretical Computer Science, 355(2):139–152, 2006. ISSN 0304-3975.
  
  
• Denis Béchet. BibTeX Slides URL
  Parsing Lambeck calculus using partial composition.
  In Proceedings of the Workshop on Logic and Linguistics, Marseille, France, February 2006, 2006.
  
  
• Eric Poupard, Denis Béchet, and Annie Foret. BibTeX Draft
  Acquisition d'une grammaire catégorielle depuis un corpus d'arbre en français.
  In Actes de la Conférence d'Apprentissage 2006 (CAp'2006), 2006. (Poster --- Short version in French of TALN-2006-PBF-RR).
  
  
• Eric Poupard, Denis Béchet, and Annie Foret.
  Categorial Grammar Acquisition from a French Treebank.
  (Long version in English of TALN-2006-PBF-CAP06).
  
  

2005

• Denis Béchet, Alexander Dikovsky, and Annie Foret. BibTeX Draft DOI URL
  Dependency Structure Grammar.
  In Philippe Blache, Edward Stabler, Joan Busquets, and Richard Moot, editors, Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings, volume 3492 of Lecture Notes in Artificial Intelligence (LNAI), pages 18–34. Springer-Verlag, 2005. ISBN 978-3-540-25783-7.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft DOI URL
  k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages.
  In Philippe Blache, Edward Stabler, Joan Busquets, and Richard Moot, editors, Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28–30, 2005. Proceedings, volume 3492 of Lecture Notes in Artificial Intelligence (LNAI), pages 1–16. Springer-Verlag, 2005. ISBN 978-3-540-25783-7.
  
  
• Denis Béchet, Annie Foret, and Isabelle Tellier. BibTeX Slides
  Parsing pregroup grammars using partial composition.
  In Proceedings of the Workshop on Pregroups and Linear Logic 2005, Chieti, Italy, May 2005, 2005.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft URL
  On Rigid NL Lambek Grammars Inference from Generalized Functor-Argument Data.
  In James Rogers, editor, Proceedings of the 10th Conference on Formal Grammar and the 9th Meeting on Mathematics of Language (FG-MOL 2005), Edinburgh, Scotland, 5–7 August 2005, pages 71–80. CSLI Publications, 2005. ISSN 1935-1569.
  
  

2004

• Denis Béchet and Annie Foret. BibTeX Draft
  On Intermediate Structures for Non-Associative Lambek Grammars and Learnability.
  In M. Moortgat and V. Prince, editors, Proceedings of the International Conference on Categorial Grammars (CG2004), Montpellier, France, June 2004, pages 180–194, June 2004.
  
  
• Denis Béchet, Alexander Dikovsky, Annie Foret, and Erwan Moreau. BibTeX Draft URL
  On Learning Discontinuous Dependencies from Positive Data.
  In Paola Monachesi, editor, Proceedings of the 9th International Conference on Formal Grammar (FGNancy), Nancy, France, 7-8 August 2004, pages 1–16. CSLI Publications, 2004. ISSN 1935-1569.
  
  
• Denis Béchet, Annie Foret, and Isabelle Tellier. BibTeX Draft DOI
  Learnability of Pregroup Grammars.
  In Georgios Paliouras and Yasubumi Sakakibara, editors, Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11–13, 2004. Proceedings, volume 3264 of Lecture Note in Artificial Intelligence (LNAI), pages 65–76. Springer-Verlag, 2004. ISBN 978-3-540-23410-4.
  
  

2003

• Denis Béchet. BibTeX Draft
  INCREMENTAL PARSING OF LAMBEK CALCULUS USING PROOF-NET INTERFACES.
  In ACL/SIGPARSE, editor, Proceedings of the Eigth International Workshop on Parsing Technologies, Nancy, France, April 2003, pages 31–42. INRIA, April 2003. ISBN 2-7261-1243-9.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft DOI URL
  k-valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings.
  In Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL 2003), Sapporo, Japan, July 2003, pages 351–358. ACL, July 2003. ISBN 1-932432-09-4.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft DOI
  k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures.
  In Ruy de Queiroz, Elaine Pimentel, and Lucilia Figueiredo, editors, Electronic Notes in Theoretical Computer Science, pages 1–13. Elsevier, July 2003. ISSN 1571-0661.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft
  Apprentissage des grammaires de Lambek rigides et d'arité bornée pour le traitement automatique des langues.
  In Actes de la Conférence d'Apprentissage 2003 (CAp'2003), pages 155–167. Presses Universitaires de Grenoble, June 2003. ISBN 2-7061-1144-5.
  
  
• Denis Béchet. BibTeX Draft URL
  k-Valued Link Grammars are Learnable from Strings.
  In Gerald Penn, editor, Proceedings of the 8th conference on Formal Grammar (FG-2003 or FGVienna), Vienna, Austria, 16–17 August 2003, pages 3–12. CSLI Publications, August 2003. ISSN 1935-1569.
  
  
• Denis Béchet and Annie Foret. BibTeX Draft
  Remarques et perspectives sur les langages de prégroupe d'ordre 1/2.
  In Actes, Dixième conférence de Traitement Automatique des Langues Naturelles (TALN 2003), pages 309–314. ATALA, June 2003. (Poster).
  
  
• Denis Béchet.
  Non-Associative Lambek Calculus as Ordered Categorial Grammars.
  Unpublished.
  
  

2002

• Denis Béchet and Le Nir, Yannick.
  Présentation de l'environnement pour les programmes d'acquistion de grammaires lexicalisées.
  
  
  
• Denis Béchet.
  Dag Edit: a dag editor.
  Documentation of Dag Edit, version 1.0.
  
  
• Denis Béchet.
  Polynomial Representation of Linear Logic Module Interface.
  
  
  
• Denis Béchet.
  Analyse syntaxique en largeur d'abord à l'aide des modules de la logique lineaire.
  
  
  
• Denis Béchet.
  Module Net: a module editor and prover.
  Documentation of Module Net, version 1.0.
  
  

2001

• Denis Béchet. BibTeX Draft DOI
  Universal Interaction Systems with Only Two Agents.
  In Aart Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22–24, 2001. Proceedings, volume 2051 of Lecture Notes in Computer Science (LNCS), pages 3–14. Springer-Verlag, 2001. ISBN 978-3-540-42117-7.
  
  
• Denis Béchet.
  Polynomial Description of the Interface of MLL Modules.
  Unpublished.
  
  
• Denis Béchet. BibTeX Draft
  Second order connectives and proof transformations in linear logic.
  Master's Thesis 2001-06, June 2001.
  
  
• Yoann Arsicault and Denis Béchet.
  Un visualisateur de structures XML représentant des Dags.
  Program written by Denis Bechet but based on an unfinished program written by Yoann Arsicault during its master thesis.
  
  

1998

• Denis Béchet. BibTeX Draft
  Minimality of the correctness criterion for multiplicative proof nets.
  Mathematical Structures in Computer Science, 8:543–558, 1998. ISSN 0960-1295.
  
  

1997

• Denis Béchet and Philippe de Groote. BibTeX Draft DOI
  Constructing different phonological bracketings from a proof net.
  In Christian Retoré, editor, Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers, volume 1328 of Lecture Notes in Artificial Intelligence (LNAI), pages 118–133. Springer-Verlag, 1997. ISBN 978-3-540-63700-4.
  
  
• Denis Bechet, Philippe de Groote, and Christian Retoré. BibTeX Draft DOI
  A complete axiomatisation of the inclusion of series-parallel partial orders.
  In Hubert Comon, editor, Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2–5, 1997, Proceedings, volume 1232 of Lecture Notes in Computer Science (LNCS), pages 230–240. Springer-Verlag, 1997. ISBN 978-3-540-62950-4.
  
  

1996

• Denis Béchet. BibTeX Draft DOI
  Removing Value Encoding using Alternative Values in Partial Evaluation of Strongly-Typed Languages.
  In Hanne Riis Nielson, editor, Programming Languages and Systems --- ESOP '96, 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996. Proceedings, volume 1058 of Lecture Notes in Computer Science (LNCS), pages 77–91. Springer-Verlag, 1996. ISBN 978-3-540-61055-7.
  
  
• Denis Béchet. BibTeX Draft
  Interface in linear logic: a finite system of generators (abstract).
  Journal of the Int. Group in Pure and Applied Logics, 4(3), 1996. Report of the Third Workshop on Logic, Language, Information and Computation, Salvador, Brazil, May 1996.
  
  

1995

• PhD : Denis Béchet. BibTeX PDF
  Les valeurs alternatives et la notion d'événement dans l'évaluation partielle.
  
  
  

1994

• Denis Béchet.
  Proof Transfornations in Linear Logic.
  Unpublished.
  
  

1992

• Denis Béchet. BibTeX Draft
  Partial Evaluation of Interaction Nets.
  In Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, and Antoine Rauzy, editors, Proceedings of WSA'92 Workshop on Static Analysis, Bordeaux, France, September 1992. Bigre vols 81–82, volume 81–82 of Bigre, pages 331–338. Atelier Irisa, IRISA, Campus de Beaulieu, Rennes, France, 1992.