Invited talk “Syntax and Semantics of Quantitative Type Theory”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

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