@article{TAC_2006_17_a2,
     author = {Valeria de Paiva and Eike Ritter},
     title = {A {Parigot-style} linear $\lambda$-calculus for full intuitionistic linear 
logic},
     journal = {Theory and applications of categories},
     pages = {30--48},
     publisher = {mathdoc},
     volume = {17},
     year = {2006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2006_17_a2/}
}