Structural Extensions of Display Calculi: A General Recipe.

Agata Ciabattoni, Revantha Ramanayake

Browse the full WoLLIC paper archive.