Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{czajka:LIPIcs:2018:9853, author = {Lukasz Czajka}, title = {{A Shallow Embedding of Pure Type Systems into FirstOrder Logic}}, booktitle = {22nd International Conference on Types for Proofs and Programs (TYPES 2016)}, pages = {9:19:39}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770651}, ISSN = {18688969}, year = {2018}, volume = {97}, editor = {Silvia Ghilezan and Herman Geuvers and Jelena IvetiÄ‡}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9853}, URN = {urn:nbn:de:0030drops98533}, doi = {10.4230/LIPIcs.TYPES.2016.9}, annote = {Keywords: pure type systems, firstorder logic, hammers, proof automation, dependent type theory} }
Keywords:  pure type systems, firstorder logic, hammers, proof automation, dependent type theory  
Collection:  22nd International Conference on Types for Proofs and Programs (TYPES 2016)  
Issue Date:  2018  
Date of publication:  05.11.2018 