Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg

First Page		Document Content
Date: 2015-03-10 14:01:25		Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.cs.yale.edu Download Document from Source Website File Size: 138,22 KB Share Document on Facebook