|
Search the dblp DataBase
François Lamarche:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lutz Straßburger, François Lamarche
On Proof Nets for Multiplicative Linear Logic with Units. [Citation Graph (0, 0)][DBLP] CSL, 2004, pp:145-159 [Conf]
- François Lamarche
From Chu Spaces to Cpos. [Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:283-305 [Conf]
- François Lamarche
Games Semantics for Full Propositional Linear Logic [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:464-473 [Conf]
- François Lamarche, Lutz Straßburger
Constructing Free Boolean Categories. [Citation Graph (0, 0)][DBLP] LICS, 2005, pp:209-218 [Conf]
- François Lamarche, Lutz Straßburger
Naming Proofs in Classical Propositional Logic. [Citation Graph (0, 0)][DBLP] TLCA, 2005, pp:246-261 [Conf]
- François Lamarche
Multiplicative Linear Logics and Fibrations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
- François Lamarche
Generalizing coherent domains and hypercoherences. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
- François Lamarche
From Proof Nets to Games. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
- François Lamarche, Lutz Straßburger
From Proof Nets to the Free *-Autonomous Category. [Citation Graph (0, 0)][DBLP] Logical Methods in Computer Science, 2006, v:2, n:4, pp:- [Journal]
- Philippe de Groote, François Lamarche
Classical Non-Associative Lambek Calculus. [Citation Graph (0, 0)][DBLP] Studia Logica, 2002, v:71, n:3, pp:355-388 [Journal]
- François Lamarche
Quantitative Domains and Infinitary Algebras. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:94, n:1, pp:37-62 [Journal]
- François Lamarche
Stable Domains are Generalized Topological Spaces. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:111, n:1&2, pp:103-123 [Journal]
- François Lamarche, Lutz Straßburger
From Proof Nets to the Free *-Autonomous Category [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.002secs
|