Go to the corresponding LIPIcs Volume Portal 
Akiyoshi, Ryota ; Terui, Kazushige
pdfformat: 

@InProceedings{akiyoshi_et_al:LIPIcs:2016:5971, author = {Ryota Akiyoshi and Kazushige Terui}, title = {{Strong Normalization for the ParameterFree Polymorphic Lambda Calculus Based on the OmegaRule.}}, booktitle = {1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)}, pages = {5:15:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770101}, ISSN = {18688969}, year = {2016}, volume = {52}, editor = {Delia Kesner and Brigitte Pientka}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5971}, URN = {urn:nbn:de:0030drops59718}, doi = {10.4230/LIPIcs.FSCD.2016.5}, annote = {Keywords: Polymorphic Lambda Calculus, Strong Normalization, Computability Predicate, Infinitary Proof Theory} }
Keywords:  Polymorphic Lambda Calculus, Strong Normalization, Computability Predicate, Infinitary Proof Theory  
Collection:  1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)  
Issue Date:  2016  
Date of publication:  17.06.2016 