Home
Publications
Talks
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Date
2021
2017
Hugo Moeneclaey
(2021).
Parametricity and semi-cubical types
.
LICS
.
PDF
Cite
Hugo Moeneclaey
,
Peter Dybjer
(2017).
Finitary higher inductive types in the groupoid model
.
MFPS
.
PDF
Cite
Cite
×