%0 Conference Paper %1 journals/corr/abs-1202-2918 %A Casinghino, Chris %A Sjöberg, Vilhelm %A Weirich, Stephanie %B MSFP %D 2012 %E Chapman, James %E Levy, Paul Blain %K dblp %P 25-39 %T Step-Indexed Normalization for a Language with General Recursion %U http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2918 %V 76

@inproceedings{journals/corr/abs-1202-2918, added-at = {2023-11-12T00:00:00.000+0100}, author = {Casinghino, Chris and Sjöberg, Vilhelm and Weirich, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/2317f05e6fd0460f70cbe57f1302d9299/dblp}, booktitle = {MSFP}, crossref = {journals/corr/abs-1202-2407}, editor = {Chapman, James and Levy, Paul Blain}, ee = {http://arxiv.org/abs/1202.2918}, interhash = {e611ed795eb4e74a9485ac90da9acf30}, intrahash = {317f05e6fd0460f70cbe57f1302d9299}, keywords = {dblp}, pages = {25-39}, series = {EPTCS}, timestamp = {2024-04-10T05:03:34.000+0200}, title = {Step-Indexed Normalization for a Language with General Recursion}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs76.html#abs-1202-2918}, volume = 76, year = 2012 }