Media type: E-Book Title: Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations Contributor: Lucatelli Nunes, Fernando [VerfasserIn]; Vákár, Matthijs I. L. [VerfasserIn] imprint: Oberwolfach: Mathematisches Forschungsinstitut Oberwolfach, June 2023 Published in: Oberwolfach preprints ; 2023,07 Extent: 1 Online-Ressource (51 Seiten) Language: English DOI: 10.14760/OWP-2023-07 Identifier: Origination: Footnote: Access State: Open Access