Mathematical Logic Foundations

Research Frontiers in Inductive-Recursive Definitions and Wellfoundedness

Study of inductive-recursive types in type theory with applications to defining mathematical structures with complex dependence patterns.

All Mathematical Logic & Foundations PhD categories