@inproceedings{cap-kra-vez:truncations,
  author = {Paolo Capriotti and Nicolai Kraus and Andrea Vezzosi},
  booktitle = {24th {EACSL} annual conference on {C}omputer {S}cience {L}ogic {(CSL} 2015)},
  doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2015.359},
  editor = {Stephan Kreutzer},
  pages = {359--373},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  title = {Functions out of higher truncations},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5425},
  volume = {41},
  year = {2015}
}