2 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
Abstract machines for the strong evaluation of lambda-terms (that is, under abstractions) are a mostly neglected topic, despite their use in the implementation of proof assistants…