Author:Revantha Ramanayake
KeyphrasesBBI, bunched calculi, cut elimination, distributive substructural logics, Dunn-Mints calculi, hypersequents, logic of bunched implications, separation logic, structural rules. |
| |||
Copyright © 2012-2024 easychair.org. All rights reserved. |