Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{pitts:LIPIcs:2015:5498, author = {Andrew M. Pitts}, title = {{Nominal Presentation of Cubical Sets Models of Type Theory}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, pages = {202220}, 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/5498}, URN = {urn:nbn:de:0030drops54980}, doi = {10.4230/LIPIcs.TYPES.2014.202}, annote = {Keywords: models of dependent type theory, homotopy type theory, cubical sets, nominal sets, monoids} }
Keywords:  models of dependent type theory, homotopy type theory, cubical sets, nominal sets, monoids  
Seminar:  20th International Conference on Types for Proofs and Programs (TYPES 2014)  
Issue Date:  2015  
Date of publication:  29.09.2015 