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

Personal website: http://www.cs.nott.ac.uk/~psznk/

Research interests: type theory, higher category theory

Contributions

POPL 2018Author 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
Show activities from other conferences

POPL 2018-profile
View general profile