@inproceedings{ahr-cap-spa:non-wellfounded,
  address = {Dagstuhl, Germany},
  author = {Benedikt Ahrens and Paolo Capriotti and R\'egis Spadotti},
  booktitle = {13th international conference on {T}yped {L}ambda {C}alculi and {A}pplications {(TLCA} 2015),},
  doi = {10.4230/LIPIcs.TLCA.2015.17},
  editor = {Thorsten Altenkirch},
  pages = {17--30},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  title = {Non-wellfounded trees in {H}omotopy {T}ype {T}heory},
  volume = {38},
  year = {2015}
}