Invited talk “Syntax and Semantics of Quantitative Type Theory”

Activity: Talk or Presentation › Invited talk

Period6 Sept 2018
Held atChalmers University of Technology, Sweden
Degree of RecognitionInternational