Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.

Roberto Maieli

Browse the full LPAR paper archive.