Abrusci and Elena Maringelli. A new correctness criterion for cyclic multiplicative proof-nets (1998)

by V Michele
Venue:Journal of Logic, Language and Information