STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Alex Kavvos

Registered user since Mon 5 Nov 2018

Name:Alex Kavvos
Country:United Kingdom
Affiliation:University of Bristol
Research interests:category theory, type theory, semantics of programming languages, modal types

Contributions

Show activities from other conferences

STAF 2024-profile
View general profile