Logic

Research Frontiers in Dialectica Interpretation and Functional Extraction

Study of Gödel''s Dialectica interpretation for extracting computational content from classical proofs via typed functionals.

All Logic PhD categories