Mathematical Logic Foundations

Research Frontiers in Gradedness and Strict Positivity Conditions

Analyzes syntactic constraints on recursive definitions, studying strict positivity, guardedness, and staged computation for ensuring termination.

All Mathematical Logic & Foundations PhD categories