Skip to main content

Convenient Antiderivatives For Differential Linear Categories

Jean−Simon Pacaud Lemay

Journal
arXiv preprint arXiv:1808.08513
Year
2018