17 citations · 36 across the 16 of their papers we have counts for
1 paper · 1 filter
Harley Eades, Aaron Stump
Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various c…