1. (100%) Two paradigms of logical computation in Affine Logic? - Affine Logic,G. Bellin,A Silvia Baraldini
We propose a notion of symmetric reduction for a system of proofnets for Multiplicative Affine ... can be applied to classical and affine logic through any one of the several known translations of
(ps) - 31-mar-2009

2. (100%) Two paradigms of logical computation in Affine Logic? - Affine Logic; G. Bellin; A Silvia Baraldini
We propose a notion of symmetric reduction for a system of proofnets for Multiplicative Affine ... the process; such a paradigm can be applied to classical and affine logic through any one of the
(application/postscript) - 28-jul-2009