François Lamarche

François Lamarche, Lutz Straßburger: From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science 2(4) (2006)

François Lamarche, Lutz Straßburger: From Proof Nets to the Free *-Autonomous Category. CoRR abs/cs/0605054 (2006)

François Lamarche, Lutz Straßburger: Constructing Free Boolean Categories. LICS 2005: 209-218

François Lamarche, Lutz Straßburger: Naming Proofs in Classical Propositional Logic. TLCA 2005: 246-261

Lutz Straßburger, François Lamarche: On Proof Nets for Multiplicative Linear Logic with Units. CSL 2004: 145-159

François Lamarche: Multiplicative Linear Logics and Fibrations. Electr. Notes Theor. Comput. Sci. 69: 227-247 (2002)

Philippe de Groote, François Lamarche: Classical Non-Associative Lambek Calculus. Studia Logica 71(3): 355-388 (2002)

Alain Lecomte, François Lamarche, Guy Perrier (Eds.): Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers. Lecture Notes in Computer Science 1582, Springer 1999, isbn 3-540-65751-7

François Lamarche: From Proof Nets to Games. Electr. Notes Theor. Comput. Sci. 3: 107-119 (1996)

François Lamarche: Generalizing coherent domains and hypercoherences. Electr. Notes Theor. Comput. Sci. 1: 355-369 (1995)

François Lamarche: Games Semantics for Full Propositional Linear Logic. LICS 1995: 464-473

François Lamarche: From Chu Spaces to Cpos. Theory and Formal Methods 1994: 283-305

François Lamarche: Stable Domains are Generalized Topological Spaces. Theor. Comput. Sci. 111(1&2): 103-123 (1993)

François Lamarche: Quantitative Domains and Infinitary Algebras. Theor. Comput. Sci. 94(1): 37-62 (1992)