Logic

Research Frontiers in Bunched Sequent Calculi and Resource Logic

Development of sequent systems with bunched contexts for resource-sensitive logics and separation logic variants.

All Logic PhD categories