Equality in linear logic - Coniglio, Marcelo Esteban; Miraglia Neto, Francisco (Logique et Analyse, 1996)