Diagrammatic specifications.Published in:Mathematical Structures in Computer Science, 2003, v. 13, n. 6, p. 857, doi. 10.1017/s0960129503003979By:DOMINIQUE DUVALPublication type:Article
Obsessional experiments for linear logic proof-nets.Published in:Mathematical Structures in Computer Science, 2003, v. 13, n. 6, p. 799, doi. 10.1017/s0960129503003967By:LORENZO TORTORA de FALCOPublication type:Article