Abstraction Within Partial Deduction for Linear Logic.

Peep Kngas

Browse the full AISC paper archive.