A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.

Joshua S. Hodas, Pablo Lpez, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel

Browse the full CSL paper archive.