Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{espritosanto:LIPIcs:2015:5162, author = {Jos{\'e} Esp{\'i}rito Santo}, title = {{CurryHoward for Sequent Calculus at Last!}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {165179}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897873}, ISSN = {18688969}, year = {2015}, volume = {38}, editor = {Thorsten Altenkirch}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5162}, URN = {urn:nbn:de:0030drops51626}, doi = {10.4230/LIPIcs.TLCA.2015.165}, annote = {Keywords: cocontrol, cocontinuation, vector notation, letexpression, formal sub stitution, context substitution, computational lambdacalculus, classical lo} }
Keywords:  cocontrol, cocontinuation, vector notation, letexpression, formal sub stitution, context substitution, computational lambdacalculus, classical lo  
Collection:  13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)  
Issue Date:  2015  
Date of publication:  15.06.2015 