BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Poland
Collaborated with:
N.Kraus A.Vezzosi B.Ahrens R.Spadotti T.Altenkirch
Talks about:
type (3) homotopi (2) theori (2) higher (2) wellfound (1) function (1) categori (1) truncat (1) complet (1) unival (1)

Person: Paolo Capriotti

DBLP DBLP: Capriotti:Paolo

Contributed to:

CSL 20152015
TLCA 20152015
CSL 20162016
POPL 20182018

Wrote 4 papers:

CSL-2015-CapriottiKV
Functions out of Higher Truncations (PC, NK, AV), pp. 359–373.
TLCA-2015-AhrensCS #type system
Non-Wellfounded Trees in Homotopy Type Theory (BA, PC, RS), pp. 17–30.
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.