## Author:Agata Ciabattoni
## KeyphrasesBBI, bunched calculi, cut elimination, distributive substructural logics, Dunn-Mints calculi, functional programming languages, hypersequent calculi, hypersequents, intermediate logics, lambda calculus, logic of bunched implications, natural deduction, separation logic, structural rules, type theory. |