Go to the corresponding LIPIcs Volume Portal 
Capriotti, Paolo ; Kraus, Nicolai ; Vezzosi, Andrea
pdfformat: 

@InProceedings{capriotti_et_al:LIPIcs:2015:5425, author = {Paolo Capriotti and Nicolai Kraus and Andrea Vezzosi}, title = {{Functions out of Higher Truncations}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {359373}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897903}, ISSN = {18688969}, year = {2015}, volume = {41}, editor = {Stephan Kreutzer}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5425}, URN = {urn:nbn:de:0030drops54257}, doi = {10.4230/LIPIcs.CSL.2015.359}, annote = {Keywords: homotopy type theory, truncation elimination, constancy on loop spaces} }
Keywords:  homotopy type theory, truncation elimination, constancy on loop spaces  
Seminar:  24th EACSL Annual Conference on Computer Science Logic (CSL 2015)  
Issue Date:  2015  
Date of publication:  04.09.2015 