Homotopy type theory as a language for directed infinite-dimensional structure (Nicolai Kraus)

  • Kraus, Nicolai (Principal Investigator)

Project Details

Short titleHomotopy type theory as a language for directed infinite-dimensional structure (Nicolai Kraus)
StatusActive
Effective start/end date1/10/1930/09/24