Logic

Research Frontiers in Many-Sorted Logic and Type Systems

Investigates logical systems with multiple sorts of variables and domain restrictions to model heterogeneous structures and typed computation.

All Logic PhD categories