Sciweavers

JSYML
2007

Completeness of MLL proof-nets w.r.t. weak distributivity

13 years 5 months ago
Completeness of MLL proof-nets w.r.t. weak distributivity
Jean-Baptiste Joinet
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JSYML
Authors Jean-Baptiste Joinet
Comments (0)