Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{palmgren:LIPIcs:2018:10055, author = {Erik Palmgren}, title = {{On Equality of Objects in Categories in Constructive Type Theory}}, booktitle = {23rd International Conference on Types for Proofs and Programs (TYPES 2017)}, pages = {7:17:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770712}, ISSN = {18688969}, year = {2018}, volume = {104}, editor = {Andreas Abel and Fredrik Nordvall Forsberg and Ambrus Kaposi}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/10055}, URN = {urn:nbn:de:0030drops100553}, doi = {10.4230/LIPIcs.TYPES.2017.7}, annote = {Keywords: type theory, formalization, category theory, setoids} }
Keywords:  type theory, formalization, category theory, setoids  
Collection:  23rd International Conference on Types for Proofs and Programs (TYPES 2017)  
Issue Date:  2018  
Date of publication:  08.01.2019 