41 citations · 58 across the 7 of their papers we have counts for
1 paper · 1 filter
Sylvain Heraud, David Nowak
We present a deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to the origina…