Functions out of Higher Truncations

Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi. Functions out of Higher Truncations. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 359-373, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]


Abstract is missing.