NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Observational Type Theory and Extensionality

Study of type theories incorporating observational equivalence principles to achieve extensional properties without requiring strong axioms.