Mathematical Logic Foundations

Research Frontiers in Observational Equivalence and Program Equivalence

Investigates observational equivalence relations for programs, establishing coinductive proof principles and logical relations for proving equivalences.

All Mathematical Logic & Foundations PhD categories