Mathematical Logic Foundations

Research Frontiers in Continuation Passing Style and Control

Studies continuation-based semantics and control operators, connecting control delimiters to logical systems with multiple conclusions.

All Mathematical Logic & Foundations PhD categories