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