Mathematical Logic Foundations

Research Frontiers in Affine Logic and Linear Typing Systems

Investigates affine and linear type systems with applications to resource management, concurrent programming, and secure information flow.

All Mathematical Logic & Foundations PhD categories