1 paper
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…