The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

François Lamarche: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. François Lamarche
    From Chu Spaces to Cpos. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:283-305 [Conf]
  3. François Lamarche
    Games Semantics for Full Propositional Linear Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:464-473 [Conf]
  4. François Lamarche, Lutz Straßburger
    Constructing Free Boolean Categories. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:209-218 [Conf]
  5. François Lamarche, Lutz Straßburger
    Naming Proofs in Classical Propositional Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:246-261 [Conf]
  6. François Lamarche
    Multiplicative Linear Logics and Fibrations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  7. François Lamarche
    Generalizing coherent domains and hypercoherences. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  8. François Lamarche
    From Proof Nets to Games. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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.016secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002