Invited talk “Syntax and Semantics of Quantitative Type Theory”

Activity: Talk or presentation typesInvited talk

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