| Original language | Undefined/Unknown |
|---|---|
| Journal | CoRR |
| Volume | abs/2007.05282 |
| Publication status | Published - 2020 |
Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
Research output: Contribution to journal › Article › Academic