17 citations · 42 across the 15 of their papers we have counts for
1 paper · 2 filters
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…