Step-Indexed Normalization for a Language with General Recursion

Chris Casinghino Vilhelm Sjöberg Stephanie Weirich

Published in: MSFP (2012)

Keyphrases

special case
programming language
database
neural network
image sequences
general purpose
post processing
normalization method
english language
specification language
multi step
language processing
closely related
object oriented
social networks
machine learning
data sets