TY  - RPRT
TI  - Non-wellfounded trees in Homotopy Type Theory
AU  - Benedikt Ahrens
AU  - Paolo Capriotti
AU  - Régis Spadotti
PY  - 2015
DO  - 10.4230/lipics.tlca.2015.17
UR  - https://arxiv.org/abs/1504.02949
ID  - 1504.02949
ER  -