Mathematical Logic Foundations

Research Frontiers in Substructural Type Systems and Linear Resources

Develops type systems incorporating resource awareness through substructural logics, with applications to memory management and concurrent computation.

All Mathematical Logic & Foundations PhD categories