A Formulation of Linear Logic Based on Dependency-Relations.

Torben Braner, Valeria de Paiva

Browse the full CSL paper archive.