Login / Signup

Graded Differential Categories and Graded Differential Linear Logic.

Jean-Simon Pacaud LemayJean-Baptiste Vienney
Published in: CoRR (2023)
Keyphrases
  • linear logic
  • general purpose