Skip to content

Ivars Geidans

      Research interests

      Homotopy Type TheoryIntuitionistic Type Theory