Mathematical Logic Foundations

Research Frontiers in Dependent Pattern Matching and Unification Algorithms

Studies pattern matching in dependent type theories and develops unification algorithms for dependent function spaces and inductive types.

All Mathematical Logic & Foundations PhD categories