Marc Bagnol's laconic personnal page

I am currently a PhD student at the IML under the direction of Jean-Yves Girard.

If you want to contact me, here's my e-mail adress:


Published papers:



Drafts:

Synchronous machines: a traced category; [slides] joint work with Adrien Guatto. (also available on HAL)

Lecture notes, slides:

Déduction naturelle et calcul des séquents; (in french) the notes of my lecture on natural deduction and sequent calculus at the GdT Logique.
Réseaux de preuve pour MALL; (in french) the notes of my lecture on proofnets for MALL at the GdT Logique.
L'algèbre d'unification; (in french) the notes of my lecture on the unification algebra at the GdT LDP.
Le critère de Mogbil-Naurois; (in french) the notes of my lecture on the NL-complete Mogbil-Naurois criterion for proofnets at the GdT LDP.

LaTeX:

seqproofs.sty; a set of macros on top of bussproofs.sty (beware, beta-version -> feedback appreciated) and their documentation.
pn.sty; a set of TikZ macros to draw hypergraphs and proofnets (beware, alpha-version -> feedback appreciated).
   You will need the additional newarrows.sty (from sourceforge). There is also a basic documentation.