François Lamarche

15 papers A* 2B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2014 J jnl
Modeling Martin-Löf type theory in categories.
J. Appl. Log.
François Lamarche
2006 J jnl
From Proof Nets to the Free *-Autonomous Category
CoRR
François Lamarche, Lutz Straßburger
2006 J jnl
From Proof Nets to the Free *-Autonomous Category.
Log. Methods Comput. Sci.
François Lamarche, Lutz Straßburger
2005 A* conf
Constructing Free Boolean Categories.
LICS
François Lamarche, Lutz Straßburger
2005 — conf
Naming Proofs in Classical Propositional Logic.
TLCA
François Lamarche, Lutz Straßburger
2004 B conf
On Proof Nets for Multiplicative Linear Logic with Units.
CSL
Lutz Straßburger, François Lamarche
2002 J jnl
Classical Non-Associative Lambek Calculus.
Stud Logica
Philippe de Groote, François Lamarche
2002 — conf
Multiplicative Linear Logics and Fibrations.
CTCS
François Lamarche
1999 — ed.
Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers
LACL
Alain Lecomte, François Lamarche, Guy Perrier
1996 — conf
From Proof Nets to Games.
Linear Logic Tokyo Meeting
François Lamarche
1995 A* conf
Games Semantics for Full Propositional Linear Logic
LICS
François Lamarche
1995 B conf
Generalizing coherent domains and hypercoherences.
MFPS
François Lamarche
1994 — conf
From Chu Spaces to Cpos.
Theory and Formal Methods
François Lamarche
1993 J jnl
Stable Domains are Generalized Topological Spaces.
Theor. Comput. Sci.
François Lamarche
1992 J jnl
Quantitative Domains and Infinitary Algebras.
Theor. Comput. Sci.
François Lamarche