The Syntax and Semantics of Quantitative Type Theory

Atkey, B. (Speaker)

Activity: Talk or presentation typesOral presentation

Period11 Jul 2018
Held at33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Event typeConference
Conference number33
LocationOxford, United Kingdom
Degree of RecognitionInternational