dual intuitionistic linear logic (to appear; draft paper, Dual intuitionistic linear logic (1995)

by Andrew Barber, DILL