Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{kraus:LIPIcs:2015:5494, author = {Nicolai Kraus}, title = {{The General Universal Property of the Propositional Truncation}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, pages = {111145}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897880}, ISSN = {18688969}, year = {2015}, volume = {39}, editor = {Hugo Herbelin and Pierre Letouzey and Matthieu Sozeau}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5494}, URN = {urn:nbn:de:0030drops54944}, doi = {10.4230/LIPIcs.TYPES.2014.111}, annote = {Keywords: coherence conditions, propositional truncation, Reedy limits, universal property, wellbehaved constancy} }
Keywords:  coherence conditions, propositional truncation, Reedy limits, universal property, wellbehaved constancy  
Collection:  20th International Conference on Types for Proofs and Programs (TYPES 2014)  
Issue Date:  2015  
Date of publication:  12.10.2015 