@Inproceedings{EPTCS76.4, author = {Casinghino, Chris and Sj\"oberg, Vilhelm and Weirich, Stephanie}, year = {2012}, title = {Step-Indexed Normalization for a Language with General Recursion}, editor = {Chapman, James and Levy, Paul Blain}, booktitle = {{\rm Proceedings Fourth Workshop on} Mathematically Structured Functional Programming, {\rm Tallinn, Estonia, 25 March 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {76}, publisher = {Open Publishing Association}, pages = {25-39}, doi = {10.4204/EPTCS.76.4}, }