Nicolai Kraus

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
Research interests:type theory, higher category theory

Contributions

POPL 2018 Author of Univalent Higher Categories via Complete Semi-Segal Types within the Artifact Evaluation-track
Author of Univalent Higher Categories via Complete Semi-Segal Types within the Research Papers-track