A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications

Book Chapter

Delia Kesner

Loïc Peyrot

Publication

Year of publication: 2022

Pages: 285--304

Identifiers

Locators

Alternative Titles