Follow
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version). (arXiv:2201.04156v1 [cs.LO]) http://arxiv.org/abs/2201.04156
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version). (arXiv:2201.04156v1 [cs.LO]) http://arxiv.org/abs/2201.04156