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 | Univalent Higher Categories via Complete Semi-Segal Types Univalent Higher Categories via Complete Semi-Segal Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile