Quantitative Domains and Infinitary Algebras. - François Lamarche (Theor. Comput. Sci., 1992)

Stable Domains are Generalized Topological Spaces. - François Lamarche (Theor. Comput. Sci., 1993)

From Chu Spaces to Cpos. - François Lamarche (Theory and Formal Methods, 1994)

Games Semantics for Full Propositional Linear Logic - François Lamarche (LICS, 1995)

Generalizing coherent domains and hypercoherences. - François Lamarche (MFPS, 1995)

From Proof Nets to Games. - François Lamarche (Linear Logic Tokyo Meeting, 1996)

Multiplicative Linear Logics and Fibrations. - François Lamarche (CTCS, 2002)

Classical Non-Associative Lambek Calculus. - Philippe de Groote; François Lamarche (Stud Logica, 2002)

On Proof Nets for Multiplicative Linear Logic with Units. - Lutz Straßburger; François Lamarche (CSL, 2004)

Constructing Free Boolean Categories. - François Lamarche; Lutz Straßburger (LICS, 2005)

Naming Proofs in Classical Propositional Logic. - François Lamarche; Lutz Straßburger (TLCA, 2005)

From Proof Nets to the Free *-Autonomous Category. - François Lamarche; Lutz Straßburger (Log. Methods Comput. Sci., 2006)

Modeling Martin-Löf type theory in categories. - François Lamarche (J. Appl. Log., 2014)