Mathematical Logic Foundations

Research Frontiers in Cubical Type Theory and Higher Inductive Types

Develops cubical computational type theory with emphasis on higher inductive types, univalence axioms, and computational interpretations of homotopical constructions.

All Mathematical Logic & Foundations PhD categories