 | 2006 |
|---|
| 14 |       | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category
CoRR abs/cs/0605054: (2006) |
| 13 | | François Lamarche,
Lutz Straßburger:
From Proof Nets to the Free *-Autonomous Category.
Logical Methods in Computer Science 2(4): (2006) |
| 2005 |
|---|
| 12 | | François Lamarche,
Lutz Straßburger:
Constructing Free Boolean Categories.
LICS 2005: 209-218 |
| 11 | | François Lamarche,
Lutz Straßburger:
Naming Proofs in Classical Propositional Logic.
TLCA 2005: 246-261 |
| 2004 |
|---|
| 10 | | Lutz Straßburger,
François Lamarche:
On Proof Nets for Multiplicative Linear Logic with Units.
CSL 2004: 145-159 |
| 2002 |
|---|
| 9 | | 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 | | 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 | | 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) |
