Dual Intuitionistic Linear Logic (1996)

by Andrew Barber