Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69:73–106, 1994. 79 [Kan94a] Max I. Kanovich. Simulating linear logic with 1-linear logic (1994)

by Bart Jacobs