Authors: MASCARI GF PEDICINI M

Citation: Gf. Mascari et M. Pedicini, HEAD LINEAR REDUCTION AND PURE PROOF NET EXTRACTION, Theoretical computer science, 135(1), 1994, pp. 111-137

Authors: MASCARI GF PUCCI F

Citation: Gf. Mascari et F. Pucci, AUTONOMOUS POSETS AND QUANTALES, Informatique theorique et applications, 27(6), 1993, pp. 483-501