The Syntax and Semantics of Quantitative Type Theory

Activity: Talk or presentation types › Oral presentation

Period	11 Jul 2018
Event title	33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Event type	Conference
Conference number	33
Location	Oxford, United KingdomShow on map
Degree of Recognition	International

Related content

Research output
The syntax and semantics of quantitative type theory
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Activities
33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Activity: Participating in or organising an event types › Participation in conference