Statistiques
| Révision :

root / CSL16 @ 14

Nom Taille Révision Âge Auteur Commentaire
cc-by.pdf 58,48 ko 2 plus de 9 ans Anupam Das added files
feas-arith-wfm.tex 51,9 ko 14 plus de 9 ans Patrick Baillot Proof of free-cut elimination is in progress...
lipics-logo-bw.pdf 13,42 ko 2 plus de 9 ans Anupam Das added files
lipics-v2016.cls 24,33 ko 2 plus de 9 ans Anupam Das added files
virginialake.sty 95,44 ko 2 plus de 9 ans Anupam Das added files

Dernières révisions

# Date Auteur Commentaire
14 31/03/2016 17:49 Patrick Baillot

Proof of free-cut elimination is in progress...
13 30/03/2016 16:30 Patrick Baillot

I added a few dfitinions and statement of main thm in sect 2
12 30/03/2016 13:45 Anupam Das
11 30/03/2016 13:40 Anupam Das
10 30/03/2016 13:34 Anupam Das

added sequent calculus for linear logic
9 29/03/2016 18:09 Anupam Das
8 29/03/2016 18:05 Anupam Das
7 29/03/2016 17:26 Anupam Das
6 29/03/2016 17:16 Anupam Das
5 29/03/2016 16:58 Anupam Das

Voir les révisions

Formats disponibles : Atom