NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Normalization and Strong Elimination Procedures

Development of normalization algorithms for pure type systems with applications to type checking and confluence analysis.