BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × The Netherlands
Collaborated with:
P.Capriotti T.Altenkirch A.Vezzosi M.H.Escardó T.Coquand
Talks about:
higher (2) type (2) homotopi (1) function (1) categori (1) truncat (1) theorem (1) hedberg (1) general (1) complet (1)

Person: Nicolai Kraus

DBLP DBLP: Kraus:Nicolai

Contributed to:

CSL 20152015
TLCA 20132013
CSL 20162016
POPL 20182018

Wrote 4 papers:

Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.
TLCA-2013-KrausECA #theorem
Generalizations of Hedberg’s Theorem (NK, MHE, TC, TA), pp. 173–188.
CSL-2016-AltenkirchCK #similarity #strict #type system
Extending Homotopy Type Theory with Strict Equality (TA, PC, NK), p. 17.
POPL-2018-CapriottiK #category theory
Univalent higher categories via complete Semi-Segal types (PC, NK), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.