Nombre de documents


CV de Francois Lamarche

Communication dans un congrès6 documents

  • François Lamarche. An Interesting Link Between Type Theory and Algebraic topology.. SD09 Structures and Deductions 2009, Jul 2009, Bordeaux, France. 2009. <inria-00620172>
  • Lutz Strassburger, François Lamarche. On Proof Nets for Multiplicative Linear Logic with Units. Jerzy Marcinkowski and Andrzej Tarlecki. 18th International Workshop on Computer Science Logic - CSL'2004, 2004, Karpacz, Poland, Springer-Verlag, 3210, pp.145--159, 2004, Lecture Notes in Computer Science. <inria-00100244>
  • François Lamarche. Multiplicative Linear Logics and Fibrations. R. Blute. Category Theory in computer science - CTCS'2002, Nov 2002, Ottawa, Ontario, Canada, Elsevier North Holland, 69, 21 p, 2002, Electronic notes in theoretical computer science. <inria-00100811>
  • François Lamarche. Beyond Trees. V. Goranko. Workshop on Trees - ESSLI 2000, 2000, Birmingham, UK, 13 p, 2000. <inria-00099249>
  • François Lamarche. Spaces for linguistic representations and the semantics of linear Logic. Dagstuhl Seminar 22.08.1999 - 27.08.1999, Aug 1999, none, 248, 1999, Dagstuhl seminar report. <inria-00098911>
  • Alain Lecomte, François Lamarche, Guy Perrier. Logical Aspects of Computational Linguistics - selected papers from LACl'97. A. Lecomte, F. Lamarche, G. Perrier. 2th International Conference on Logical Aspects of Computational Linguistics, 1997, Nancy, France, Springer Verlag, 1582, 251 p, 1997, Lecture Notes in Artificial Intelligence. <inria-00099010>

Rapport7 documents

  • François Lamarche. Proof Nets for Intuitionistic Linear Logic: Essential Nets. [Research Report] 2008. <inria-00347336>
  • François Lamarche, Lutz Strassburger. Naming Proofs in Classical Propositional Logic. [Intern report] A04-R-391 || lamarche04b, 2004, 15 p. <inria-00099866>
  • François Lamarche. Vers une Géométrie Symbolique. [Interne] A03-R-423 || lamarche03a, 2003, 8 p. <inria-00099779>
  • Guillaume Bonfante, François Lamarche, Thomas Streicher. A model of a dependent linear calculus. [Intern report] A01-R-262 || bonfante01c, 2001, 13 p. <inria-00100697>
  • Guillaume Bonfante, François Lamarche. A monotone lambda-calculus: the example of ordinal terms. [Intern report] A00-R-180 || bonfante00a, 2000, 15 p. <inria-00099304>
  • François Lamarche. Displacement Games as a model of linear logic. [Intern report] A00-R-379 || lamarche00b, 2000, 6 p. <inria-00099330>
  • Guillaume Bonfante, François Lamarche. Constructing orders by means of inductive definitions. [Intern report] 99-R-035 || bonfante99a, 1999, 15 p. <inria-00098791>

Article dans une revue4 documents

  • François Lamarche, Lutz Strassburger. From Proof nets to the Free *-Autonomous Categories. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2 (4:3), 44 p. <10.2168/LMCS-2(4:3) 2006>. <inria-00099865v2>
  • François Lamarche. On the Algebra of Structural Contexts. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2003, 51 p. <inria-00099461>
  • Richard F. Blute, François Lamarche, Paul Ruet. Entropic Hopf Algebras and Models of Non Commutative Logic. Theory and Applications of Categories, Mount Allison University, 2002, 10 (17), pp.424-460. <inria-00100711>
  • Philippe De Groote, François Lamarche. Classical Non Associative Lambek Calculus. Studia Logica, Springer Verlag (Germany), 2002, 71 (3), pp.355-388. <inria-00100712>