Algorithmic specifications in linear logic with subexponentials.

Vivek Nigam, Dale Miller

Browse the full PPDP paper archive.