Mathematical Logic Foundations

Research Frontiers in Bunched Logic and Separation Semantics

Study of bunched implications combining multiplicative and additive connectives with applications to program verification and resource management.

All Mathematical Logic & Foundations PhD categories