Mathematical Logic Foundations

Research Frontiers in Observational Type Theory and Heterogeneous Equality

Develops observational type theories with heterogeneous equality allowing comparison of terms in different types based on observable behavior.

All Mathematical Logic & Foundations PhD categories