• United Kingdom

Accepting PhD Students

20092021
If you made any changes in Pure these will be visible here soon.

Activities 2016 2018

  • 4 Participation in conference
  • 3 Participation in workshop, seminar, course
  • 2 Oral presentation
  • 1 Examination
Filter
Oral presentation

The Syntax and Semantics of Quantitative Type Theory

Bob Atkey (Speaker)
11 Jul 2018

Activity: Talk or presentation typesOral presentation

Observed Communication Semantics for Classical Processes

Bob Atkey (Speaker)
26 Apr 2017

Activity: Talk or presentation typesOral presentation