A faithful and quantitative notion of distant reduction for generalized applications (long version)

arXiv

Miscellaneous

D. Kesner

L. Peyrot

Publication

Year of publication: 2022

Identifiers

ISSN: 23318422

Other: 2-s2.0-85123427500

Locators

Alternative Titles