Mathematical Logic Foundations

Research Frontiers in Bidirectional Type Checking and Synthesis

Develops bidirectional type systems combining checking and inference, establishing theoretical foundations for practical implementation of type algorithms.

All Mathematical Logic & Foundations PhD categories