On the Metatheory of Subtype Universes (TYPES23)

Activity: Talk or presentation › Oral presentation

Period12 Jun 2023 → 15 Jun 2023
Event titleTYPES 2023
Event typeConference
LocationValencia, SpainShow on map
Degree of RecognitionInternational

Keywords

  • type theory
  • subtype universes
  • subtyping
  • metatheory
  • logic
  • normalisation
  • embedding

Documents & Links