Logic

Research Frontiers in Linear Dependent Types and Sessions

Integration of linear types with dependent typing for precise session-based protocol specification in concurrent systems.

All Logic PhD categories