A Framework for Substructural Type Systems.

James Wood, Robert Atkey

Browse the full ESOP paper archive.