Mathematical Logic Foundations

Research Frontiers in Inductive Types and Positivity Conditions

Analyzes inductive type definitions in type theory, characterizing positivity conditions ensuring well-foundedness and enabling structural recursion.

All Mathematical Logic & Foundations PhD categories