Publications and writings

Writings

My thesis:

• Jeux abstraits et composition catégorique (PDF de 1.2Mo, version PDF )

Trifle remaining apart:

• Contraction-free Proofs and Games for Linear Logics , joint work with André and Tom Hirschowitz (In MFPS'09, PDF version PDF )

• Categorical Games (GaLoP, ETAPS  2005).

• Playing for truth on mutable graphs joint work with André and Tom Hirschowitz presented in the colloquium in honor of Gérard Huet, in progress for festshrift (PDF de 1Mo, presentation version PDF )

• A theory for games theories joint work with André and Tom Hirschowitz (In FSTTCS07 Proceedings, PDF version PDF )

• Abstract Games ICMS'03

Not truly publications, but just talks, typescripts or submited papers :

• A categorical game for multiplicative linear logic (Submitted in TLCA'09) joint work with André Hirschowitz submitted (PDF version PostScript )

• Ping pong strategies composition (Brighton 2002).
• Strategies as Regular Languages (mémoire de DEA, septembre 2001).

Work in progress :

• A smooth adjunction of wayed and directed spaces (...) joint work with André Hirschowitz (PDF version PostScript )