A unification of graded and substructural logics

Peter Hanukaev, Harley Eades

Type systems which account for resource sensitive computations can generally be split into two styles: First, substructural logics such as Linear Logic which seek to restrict weake…