NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Universe Polymorphism and Type Universes

Investigates universe polymorphism and cumulative universes in type theory, addressing universe level management and impredicativity concerns.