Mathematical Logic Foundations

Research Frontiers in Normalization-by-Evaluation and Computational Semantics

Investigates normalization-by-evaluation techniques and their applications to deciding equality in type theories and extracting evaluated terms.

All Mathematical Logic & Foundations PhD categories