NTHRYS › PhD Assistance › Logic
Select a category to explore research frontiers
Loading categories...
Study of computational interpretations of logical formulas through realizability where proofs are witnessed by programs.
All Logic PhD categories