2006 |
14 | EE | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category
CoRR abs/cs/0605054: (2006) |
13 | EE | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category.
Logical Methods in Computer Science 2(4): (2006) |
2005 |
12 | EE | François Lamarche,
Lutz Straßburger:
Constructing Free Boolean Categories.
LICS 2005: 209-218 |
11 | EE | François Lamarche,
Lutz Straßburger:
Naming Proofs in Classical Propositional Logic.
TLCA 2005: 246-261 |
2004 |
10 | EE | Lutz Straßburger,
François Lamarche:
On Proof Nets for Multiplicative Linear Logic with Units.
CSL 2004: 145-159 |
2002 |
9 | EE | François Lamarche:
Multiplicative Linear Logics and Fibrations.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
8 | | Philippe de Groote,
François Lamarche:
Classical Non-Associative Lambek Calculus.
Studia Logica 71(3): 355-388 (2002) |
1999 |
7 | | Alain Lecomte,
François Lamarche,
Guy Perrier:
Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers
Springer 1999 |
1996 |
6 | EE | François Lamarche:
From Proof Nets to Games.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
1995 |
5 | | François Lamarche:
Games Semantics for Full Propositional Linear Logic
LICS 1995: 464-473 |
4 | EE | François Lamarche:
Generalizing coherent domains and hypercoherences.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
1994 |
3 | | François Lamarche:
From Chu Spaces to Cpos.
Theory and Formal Methods 1994: 283-305 |
1993 |
2 | | François Lamarche:
Stable Domains are Generalized Topological Spaces.
Theor. Comput. Sci. 111(1&2): 103-123 (1993) |
1992 |
1 | | François Lamarche:
Quantitative Domains and Infinitary Algebras.
Theor. Comput. Sci. 94(1): 37-62 (1992) |