![](/img/cover-not-exists.png)
Completeness of MLL proof-nets w.r.t. weak distributivity
Joinet, Jean-BaptisteVolume:
72
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1174668390
Date:
March, 2007
File:
PDF, 745 KB
english, 2007