Mathematical Logic Foundations

Research Frontiers in Abstract Computability and Multi-Sorted Structures

Generalizes computability theory to abstract structures with multiple sorts, including higher-type computations and recursion over arbitrary domains.

All Mathematical Logic & Foundations PhD categories