Mathematical Logic Foundations

Research Frontiers in Quotient Types and Setoid Semantics

Studies quotient type construction in type theory using setoids and extensional equality, enabling reasoning about equivalence classes.

All Mathematical Logic & Foundations PhD categories