ETAPS 2019 (series) / Andrea Schalk
Registered user since Fri 21 Sep 2018
Name:Andrea Schalk
Country:United Kingdom
Affiliation:University of Manchester, UK
Personal website: http://www.cs.man.ac.uk/~schalk/
Research interests:logic, category theory, mathematical models of computation, game semantics
Contributions
ETAPS 2019-profile
View general profile
View general profile