Invited talk “Type Theory and Sympathy”

Activity: Talk or presentation typesInvited talk

Period9 Dec 2019
Held atUniversity of Kent, United Kingdom
Degree of RecognitionNational