2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Pablo Barenbaum, Cristian Sottile
This paper defines two decreasing measures for terms of the simply typed lambda-calculus, called the W-measure and the Tm-measure. A decreasing measure is a function that maps each…