Registered user since Thu 30 Nov 2017
Name:Nicolai Kraus
Bio:
Currently postdoc at the University of Nottingham.
Country:United Kingdom
Affiliation:University of Nottingham
Personal website: http://www.cs.nott.ac.uk/~psznk/
Research interests:type theory, higher category theory
Contributions
POPL 2018-profile
View general profile
View general profile