Logic

Research Frontiers in Observational Type Theory and Extensionality

Development of type theories where equality is determined by observational equivalence rather than syntactic identity.

All Logic PhD categories