Mathematical Logic Foundations

Research Frontiers in Nominal Logic and Fresh Names

Investigates nominal sets and nominal logic for handling names and binding, with applications to syntax with variable binding and alpha-equivalence.

All Mathematical Logic & Foundations PhD categories