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