Generalized DEL-Sequents.

Guillaume Aucher, Bastien Maubert, Franois Schwarzentruber

Browse the full JELIA paper archive.