Login / Signup

Convenient antiderivatives for differential linear categories.

Jean-Simon Pacaud Lemay
Published in: Math. Struct. Comput. Sci. (2020)
Keyphrases