On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.

Tim S. Lyon

Browse the full LFCS paper archive.