Activities per year
Activities
- 2 results
Search results
-
The Syntax and Semantics of Quantitative Type Theory
Bob Atkey (Speaker)
11 Jul 2018Activity: Talk or presentation types › Oral presentation
-
Observed Communication Semantics for Classical Processes
Bob Atkey (Speaker)
26 Apr 2017Activity: Talk or presentation types › Oral presentation