Dual intuitionistic linear logic (1996)

by A Barber