Invited talk “Classical Linear Logic Considered as a Programming Language”

Atkey, B. (Speaker)

Activity: Talk or presentation typesInvited talk

Period29 Jul 2016
Held atUniversity of Cambridge, United Kingdom
Degree of RecognitionNational