Workshop on Homotopy Type Theory

Activity: Participating in or organising an event › Participation in workshop, seminar, course

Period22 Apr 2023 → 23 Apr 2023
Event typeWorkshop
LocationVienna, AustriaShow on map
Degree of RecognitionInternational

Keywords

  • type theory
  • homotopy type theory
  • logic
  • univalent foundations
  • category theory
  • infinity categories
  • semantics
  • metatheory
  • model theory