On the proof net problem for additives in linear logic (1993)

by F Lamarche