Dual Intuitionistic Linear Logic'. Also (1997)

by A Barber, G Plotkin