NTHRYS › PhD Assistance › Logic
Select a category to explore research frontiers
Loading categories...
Type-theoretic framework capturing relationships between data structures through ornaments and refinement constraints.
All Logic PhD categories