27 citations · 53 across the 14 of their papers we have counts for
1 paper · 2 filters
Robert Atkey
We combine dependent types with linear type systems that soundly and completely capture polynomial time computation. We explore two systems for capturing polynomial time: one syste…