Mathematical Logic Foundations

Research Frontiers in Dialectica Categories and Functional Interpretations

Analysis of Dialectica categorical semantics and their applications to extracting constructive content from classical proofs through functional interpretation.

All Mathematical Logic & Foundations PhD categories