Curry-howard terms for linear logic (1994)

by D Albrecht, F Bauerle, J N Crossley, J S Jeavons
Venue:In Logic Colloquium