Mathematical Logic Foundations

Research Frontiers in Two-Level Type Theory and Fibrations

Research on two-level type theories combining distinct type universes with fibrant and non-fibrant types.

All Mathematical Logic & Foundations PhD categories