Invited talk “Type Theory and Sympathy”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

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