1 results
Convenient antiderivatives for differential linear categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 5 / May 2020
- Published online by Cambridge University Press:
- 03 July 2020, pp. 545-569
-
- Article
- Export citation