New Framework Merges Graded Linear Logic with Differential Operators

A new differential version of graded linear logic indexes exponential connectives with a monoid of differential operators and is modeled using distribution theory. Read more: getnews.me/new-framework-merges-gra... #gradedlogic #differentiallogic