![Nicolai Kraus](https://popl18.sigplan.org/getProfileImage/nicolaikraus/e5b2b6ee-aced-47a0-bb5e-de7767e82408/small.jpg?1718809113000)
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