Show simple item record

Automatic Differentiation for ML-Familiy Languages: Correctness via Logical Relations

dc.contributor.authorLucatelli Nunes, Fernando
dc.contributor.authorVákár, Matthijs
dc.date.accessioned2023-06-19T13:10:58Z
dc.date.available2023-06-19T13:10:58Z
dc.date.issued2023-06-19
dc.identifier.urihttp://publications.mfo.de/handle/mfo/4044
dc.language.isoenen_US
dc.publisherMathematisches Forschungsinstitut Oberwolfachen_US
dc.relation.ispartofseriesOberwolfach Preprints;2023-07
dc.titleAutomatic Differentiation for ML-Familiy Languages: Correctness via Logical Relationsen_US
dc.typePreprinten_US
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.de
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.en
dc.identifier.doi10.14760/OWP-2023-07
local.scientificprogramOWLF 2022en_US
local.series.idOWP-2023-07
dc.identifier.urnurn:nbn:de:101:1-2024032009144683846645
dc.identifier.ppn1851818006


Files in this item

Thumbnail
Name:
OWP-2023-07.pdf
Size:
811.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record