Dual intuitionistic linear logic (1996)

by Andrew Barber