Softness of hypercoherences and MALL full completeness
Under an Elsevier user license
open archive
Keywords
Multiplicative–additive linear logic
MALL proof-nets
Hypercoherences
Full completeness
Dinaturality
Softness
Double gluing
Cited by (0)
Copyright © 2004 Elsevier Ltd. All rights reserved.