DILL --- dual intuitionistic linear logic. Draft paper, available from the author (1995)

by A Barber