Logic

Research Frontiers in Simplicial Homotopy Type Theory

Development of homotopy type theory using simplicial structures and higher inductive types for computational geometry.

All Logic PhD categories