85 citations · 95 across the 4 of their papers we have counts for
1 paper · 2 filters
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…