Step-Indexed Normalization for a Language with General Recursion

by Chris Casinghino , Vilhelm Sjöberg , Stephanie Weirich
Citations:2 - 2 self