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