Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion

Research output: Contribution to journalArticleAcademic

Original languageUndefined/Unknown
JournalCoRR
Volumeabs/2007.05282
Publication statusPublished - 2020

Cite this