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

Joshua S. Hodas et al. (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics