Unifying Graded Linear Logic and Differential Operators.

Flavien Breuvart, Marie Kerjean, Simon Mirwasser

Browse the full FSCD paper archive.