@inproceedings{inproceedingsab347b6f,
title   = {Equality in linear logic},
author = {Coniglio, Marcelo Esteban and Miraglia Neto, Francisco},
year = {1996},
publisher = {Université Paris 7},
booktitle   = {Séminaire de structures algébriques ordonnées : 1994-1995}
}