2 citations · 6 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
A Diamond Machine For Strong Evaluation
Beniamino Accattoli, Pablo Barenbaum
Abstract machines for strong evaluation of the -calculus enter into arguments and have a set of transitions for backtracking out of an evaluated argument. We study a new abstrac…
cs.LO2023
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version)
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…