Recursive Inseparability in Linear Logic.

Stl Aanderaa, Herman Ruge Jervell

Browse the full CSL paper archive.