NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Universe Levels and Hierarchy in Type Theory

Investigation of universe polymorphism and cumulative hierarchies in type theory to avoid paradox while maintaining expressiveness.