Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Lamarche, François - Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Université Henri Poincaré -Nancy-Université
March 12, 2005 --This is an expanded version of the LICS'05 submission. Mistakes have been corrected and the relative emphasis of axioms has changed, but the claims are strictly identical.
Vers une gomtrie symbolique Franois Lamarche
Electronic Notes in Theoretical Computer Science 69 (2002) URL: http://www.elsevier.nl/locate/entcs/volume69.html 21 pages
Logical Methods in Computer Science Vol. 2 (4:3) 2006, pp. 144
ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC
Under consideration for publication in Math. Struct. in Comp. Science On the Algebra of Structural Contexts
On Proof Nets for Multiplicative Linear Logic Lutz Straburger and Francois Lamarche
Naming Proofs in Classical Propositional Logic Francois Lamarche Lutz Straburger
CLASSICAL NON-ASSOCIATIVE LAMBEK CALCULUS PHILIPPE DE GROOTE AND FRANC OIS LAMARCHE
