2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
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…
cs.LO2023★ 2 cited
Combining dependency, grades, and adjoint logic
Peter Hanukaev, Harley Eades
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear typ…