Go to the corresponding LIPIcs Volume Portal 
Guerrieri, Giulio ; Paolini, Luca ; Ronchi Della Rocca, Simona
pdfformat: 

@InProceedings{guerrieri_et_al:LIPIcs:2015:5165, author = {Giulio Guerrieri and Luca Paolini and Simona Ronchi Della Rocca}, title = {{Standardization of a CallByValue LambdaCalculus}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {211225}, 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/5165}, URN = {urn:nbn:de:0030drops51655}, doi = {10.4230/LIPIcs.TLCA.2015.211}, annote = {Keywords: standardization,sequentialization,lambdacalculus,sigmareduction,par allel reduction, callbyvalue, head reduction, internal reduction, solvability} }
Keywords:  standardization,sequentialization,lambdacalculus,sigmareduction,par allel reduction, callbyvalue, head reduction, internal reduction, solvability  
Collection:  13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)  
Issue Date:  2015  
Date of publication:  15.06.2015 