85 citations · 95 across the 4 of their papers we have counts for
1 paper · 1 filter
Mathieu Boespflug
We characterize normalization by evaluation as the composition of a self-interpreter with a self-reducer using a special representation scheme, in the sense of Mogensen (1992). We…