BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Poland
2 × USA
Collaborated with:
Talks about:
logic (3) proposit (2) linear (2) proof (2) construct (1) categori (1) multipl (1) classic (1) boolean (1) semant (1)

Person: François Lamarche

DBLP DBLP: Lamarche:Fran=ccedil=ois

Contributed to:

LICS 20052005
TLCA 20052005
CSL 20042004
LICS 19951995

Wrote 4 papers:

LICS-2005-LamarcheS #category theory
Constructing Free Boolean Categories (FL, LS), pp. 209–218.
TLCA-2005-LamarcheS #logic #proving
Naming Proofs in Classical Propositional Logic (FL, LS), pp. 246–261.
CSL-2004-StrassburgerL #linear #logic #multi #on the #proving
On Proof Nets for Multiplicative Linear Logic with Units (LS, FL), pp. 145–159.
LICS-1995-Lamarche #game studies #linear #logic #semantics
Games Semantics for Full Propositional Linear Logic (FL), pp. 464–473.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.