Mathematical Logic Foundations

Research Frontiers in Geometry of Interaction and Feedback

Studies the geometry of interaction framework emphasizing feedback operators and their applications to proof normalization and complexity analysis.

All Mathematical Logic & Foundations PhD categories