TY  - RPRT
TI  - Step-Indexed Normalization for a Language with General Recursion
AU  - Chris Casinghino
AU  - Vilhelm Sjöberg
AU  - Stephanie Weirich
PY  - 2012
DO  - 10.4204/eptcs.76.4
UR  - https://arxiv.org/abs/1202.2918
ID  - 1202.2918
ER  -