Olivia Weston

https://academic-soup.web.app/ [email protected]

University of Glasgow United Kingdom Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.